diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-01 10:50:50 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-01 10:50:50 +0700 |
| commit | 7884dd01bc07b4f052436f996eee3cb66169a556 (patch) | |
| tree | 550a4c2597981b91682f9c16595bd7b2aabd6a59 /readme__cplusplus | |
| parent | dbe2b466d79fb550275c4334697ea600acd66036 (diff) | |
| download | abc-7884dd01bc07b4f052436f996eee3cb66169a556.tar.gz abc-7884dd01bc07b4f052436f996eee3cb66169a556.tar.bz2 abc-7884dd01bc07b4f052436f996eee3cb66169a556.zip | |
Fixed a corner case bug in dprove when a trivial CEX is not produced.
Diffstat (limited to 'readme__cplusplus')
0 files changed, 0 insertions, 0 deletions