Repository navigation

Model JDK container calls and System.arraycopy; containers holding symbolic values count as symbolic - #77

Closed

nils-loose wants to merge 4 commits into

svcomp27/integrationfrom

feat/collections-jdk-models

Closed

Model JDK container calls and System.arraycopy; containers holding symbolic values count as symbolic#77
nils-loose wants to merge 4 commits into
svcomp27/integrationfrom
feat/collections-jdk-models

Commits on Oct 18, 2026
- Model reference-only calls on JDK containers
  
  nils-loose
  and
  claude
  committed
  c2a4c50
- Model System.arraycopy with concrete positions and length
  
  nils-loose
  and
  claude
  committed
  1bca0a5
- Test the JDK container and arraycopy models
  
  nils-loose
  and
  claude
  committed
  5a33932
- Recheck only mutable map keys for symbolic state
  
  nils-loose
  and
  claude
  committed
  a5740d7