Repository navigation

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

Commits on Oct 19, 2026
- Report UNKNOWN for an SV-COMP round in which the target sent no trace
  
  nils-loose
  and
  claude
  committed
  637b685
- Add an end-to-end test for targets that fail before main
  
  nils-loose
  and
  claude
  committed
  008110b
- Cover the competition package wrapper in the failed-start test
  
  nils-loose
  and
  claude
  committed
  193fc2b