Skip to content

Make the explorer robust: iterative tree, lock safety, crashes end UNKNOWN - #72

Closed
nils-loose wants to merge 4 commits into
svcomp27/integrationfrom
fix/explorer-robustness
Closed

Make the explorer robust: iterative tree, lock safety, crashes end UNKNOWN#72
nils-loose wants to merge 4 commits into
svcomp27/integrationfrom
fix/explorer-robustness

Build and walk the execution tree iteratively; keep UNMODELLED_EXCEPT…

373384d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar