[SV-COMP'18 2/19] Do not perform SSA sanity checks#1991

Closed

tautschnig wants to merge 1 commit intodiffblue:developfrom

tautschnig:no-ssa-sanity-check

Commits on Nov 24, 2018

Do not perform SSA sanity checks
tautschnig
committed