projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 97954a7) | patch
Adds a very small test that triggers a bug. The bug is from the commit for -r1063.
authorTim King <taking@cs.nyu.edu>
Fri, 29 Oct 2010 20:57:50 +0000 (20:57 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 29 Oct 2010 20:57:50 +0000 (20:57 +0000)
commit1257be7a6d384bbf11cb4a2aa6c8281fe4bba790
tree7ceb3d9a242b6453ec0ce90ab3b2b04ce86aaa14tree
parent97954a7b32e4606e2f9d561f2692e99f3ab46bcdcommit | diff
Adds a very small test that triggers a bug. The bug is from the commit for -r1063.
test/regress/regress0/arith/Makefile.am diff | blob | history
test/regress/regress0/arith/delta-minimized-row-vector-bug.smt [new file with mode: 0644] blob