projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3c767e) | patch
Simplified bug288.smt to reflect the problem in integers better.
authorTim King <taking@cs.nyu.edu>
Wed, 30 Nov 2011 20:03:00 +0000 (20:03 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 30 Nov 2011 20:03:00 +0000 (20:03 +0000)
commit70552e569ad46010ab8b00f93d1c7741bafb29b1
treebebf67e4412964287cc6b2ad6d32410bdce19939tree
parentb3c767ebe4cca902e9c9cbf91bec0a7be889d709commit | diff
Simplified bug288.smt to reflect the problem in integers better.
test/regress/regress0/bug288.smt diff | blob | history