Skip to content

[SV-COMP'18 17/19] Add option not to transform self-loops into assumes#2006

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:opt-no-self-loops
Jun 4, 2018

Commits

Commits on Jun 4, 2018