Skip to content

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

Recheck only mutable map keys for symbolic state

a5740d7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar