diff options
author | ajreynol <reynolds@larapc05.epfl.ch> | 2014-05-13 17:18:18 +0200 |
---|---|---|
committer | ajreynol <reynolds@larapc05.epfl.ch> | 2014-05-13 17:18:23 +0200 |
commit | 977bdcdcbab6ffdf757e3837d2f555a53cbb6daf (patch) | |
tree | b32a630f5c780ec77ba2ffbce0f498252de7d7b1 /test/Makefile | |
parent | 1d29f568aba39501d09284c4139847fbe688efcc (diff) |
Add lazy strategy for bounded integers to avoid non-terminating unsat cases. Add regressions.
Diffstat (limited to 'test/Makefile')
0 files changed, 0 insertions, 0 deletions