Skip to content

run: return interpreted exit code#6779

Merged
kroening merged 1 commit intodiffblue:developfrom
tautschnig:bugfixes/exit-code
Apr 6, 2022
Merged

run: return interpreted exit code#6779
kroening merged 1 commit intodiffblue:developfrom
tautschnig:bugfixes/exit-code

Commits

Commits on Apr 1, 2022