Test only works with simplification enabled#2536

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:debian8tautschnig/cbmc:debian8Copy head branch name to clipboard