Skip to content

Make the String and StringBuilder models sound - #75

Closed
nils-loose wants to merge 5 commits into
svcomp27/integrationfrom
fix/string-model-soundness
Closed

Make the String and StringBuilder models sound#75
nils-loose wants to merge 5 commits into
svcomp27/integrationfrom
fix/string-model-soundness

Keep the nested replace, as precision loss; model the constructor's c…

ac1a353
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar