Skip to content

Static property pre-check: SAFE for programs proven free of RuntimeExceptions or AssertionErrors - #73

Closed
nils-loose wants to merge 7 commits into
svcomp27/integrationfrom
feat/property-aware-downgrade
Closed

Static property pre-check: SAFE for programs proven free of RuntimeExceptions or AssertionErrors#73
nils-loose wants to merge 7 commits into
svcomp27/integrationfrom
feat/property-aware-downgrade

Fail the check when the JVM would not load the classpath as modelled

9cd00a6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar