Skip to content

Cleanup of *-check options handling, refined options for SV-COMP - #328

Merged
peterschrammel merged 5 commits into
diffblue:masterfrom
tautschnig:check-options
Dec 3, 2016
Merged

Cleanup of *-check options handling, refined options for SV-COMP#328
peterschrammel merged 5 commits into
diffblue:masterfrom
tautschnig:check-options

Commits

Commits on Dec 1, 2016

Commits on Dec 3, 2016