Skip to content

Report UNKNOWN when the target never reaches main - #89

Closed
nils-loose wants to merge 3 commits into
svcomp27/integrationfrom
fix/failed-start-unknown
Closed

Report UNKNOWN when the target never reaches main#89
nils-loose wants to merge 3 commits into
svcomp27/integrationfrom
fix/failed-start-unknown

Cover the competition package wrapper in the failed-start test

193fc2b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar