Skip to content

Remove preprocessing that was using ID_cprover_string_concat_bool_func#3448

Merged
tautschnig merged 2 commits intodiffblue:developfrom
romainbrenguier:bugfix/string-concat-bool
Nov 20, 2018

Commits

Commits on Nov 20, 2018