diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-07-29 16:17:32 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-10-24 14:15:25 +0300 |
| commit | a1afcbf98c455ed52fc341df104e19a5d000095f (patch) | |
| tree | 6a1b61f9286d4b77da54976825f254541860d16c /test/Solver/FastCexSolver.kquery | |
| parent | 5bca619d7c11273e9492fa01fc7492e2cbb4eff5 (diff) | |
| download | klee-a1afcbf98c455ed52fc341df104e19a5d000095f.tar.gz | |
Add test case for div checker
Check that only important div instructions are annotated. Check the optimized case as well: the call to the validating function might not be part of the code anymore but already inlined - make sure the instruction still has the metadata attached.
Diffstat (limited to 'test/Solver/FastCexSolver.kquery')
0 files changed, 0 insertions, 0 deletions