diffblue/cbmc

Performance issue with in incremental smt2 decision procedure

esteffin opened this issue · 0 comments

esteffin commented

2 CBMC regression tests:

  • cbmc/address_space_size_limit1/test.desc
  • cbmc/address_space_size_limit3/test.desc

are successfully passing, but take much longer than the old SAT backend.

For this reason they are currently excluded from the default regression tests suite.