projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 892dd18) | patch
Fix a command-replay bug in tear-down-incremental mode. Thanks to Christoph Sticksel...
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 30 Sep 2014 23:12:26 +0000 (19:12 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 30 Sep 2014 23:12:31 +0000 (19:12 -0400)
commit80a57d99aa2b611f41f13b0455d6ee089c165905
treed4a5113aba347c72af4e58678b4cb5f77d91d48dtree
parent892dd18267c137f7797a4c97f7068b587cbf8c3acommit | diff
Fix a command-replay bug in tear-down-incremental mode.  Thanks to Christoph Sticksel for the report.
src/main/driver_unified.cpp diff | blob | history