diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-06-28 19:14:37 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-06-28 19:14:37 +0100 |
| commit | f4dafa4acb5ad9ff02317f7df5bdae6974494fda (patch) | |
| tree | caf5a9e612f11100ac6524dfba23712bdad0e6fc /lib/Solver/STPSolver.cpp | |
| parent | e5a958a8e10fa2f52e071dffc6c77dcc6356f074 (diff) | |
| download | klee-f4dafa4acb5ad9ff02317f7df5bdae6974494fda.tar.gz | |
Added test case exposing division by zero failure reported by @kren1, and recently fixed in STP.
Diffstat (limited to 'lib/Solver/STPSolver.cpp')
0 files changed, 0 insertions, 0 deletions