diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-07-31 18:11:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-31 18:11:54 +0100 |
| commit | 21749dee2b14b56d4b2d0330046a9007552d577f (patch) | |
| tree | 39758f99f65880ead77655e66171113208443d80 /lib | |
| parent | 66adc6374cc9b43db2beccec9ae0a547dc411eae (diff) | |
| parent | 2cdbb892e93c3a6556fc4eb989ccd7cab8bfdb63 (diff) | |
| download | klee-21749dee2b14b56d4b2d0330046a9007552d577f.tar.gz | |
Merge pull request #422 from ccadar/div-zero-test
Added test case exposing division by zero failure reported by @kren1 and made division total in STP to fix it.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Solver/STPSolver.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Solver/STPSolver.cpp b/lib/Solver/STPSolver.cpp index 5c49521e..f2500572 100644 --- a/lib/Solver/STPSolver.cpp +++ b/lib/Solver/STPSolver.cpp @@ -98,6 +98,8 @@ STPSolverImpl::STPSolverImpl(bool _useForkedSTP, bool _optimizeDivides) // we restore the old behaviour. vc_setInterfaceFlags(vc, EXPRDELETE, 0); + make_division_total(vc); + vc_registerErrorHandler(::stp_error_handler); if (useForkedSTP) { |