projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 468f1af) | patch
Fix usability issue with tear-down incremental mode.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Jun 2014 19:22:38 +0000 (15:22 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Jun 2014 19:22:38 +0000 (15:22 -0400)
commit1fc1ce023da9b9596d19965b50d20b37fa6bb571
tree325a68dea04afceeba0f5c52612622804500af40tree
parent468f1afc7546ad47dc8aac097aa738c374acdc82commit | diff
Fix usability issue with tear-down incremental mode.
src/main/driver_unified.cpp diff | blob | history