Executing a Portfolio of Runs via Script#1845

Merged

sim642 merged 17 commits intomasterfrom

multishot-svcomp25

Oct 31, 2025

Commits on Oct 21, 2025

multishot script
DrMichaelPetter
committed

Commits on Oct 23, 2025

check for verdict unknown only, and hand over goblint error on exit(1) to outside
DrMichaelPetter
committed

Commits on Oct 24, 2025

now runner prints the output of all processes instead of just one
DrMichaelPetter
committed

Commits on Oct 26, 2025

stop buffering output
DrMichaelPetter
committed

Commits on Oct 27, 2025

Commits on Oct 28, 2025

more detailed portfolio
DrMichaelPetter
committed