projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb63fdb) | patch
Add some (so far trivial) regressions for constant arrays.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 3 Oct 2014 18:28:30 +0000 (14:28 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 3 Oct 2014 18:58:35 +0000 (14:58 -0400)
commit6294adeb83155c54539b2d2d31fa9e3a5b6f1a00
treef558ab602f7e2e1165fe34ab0f497893fe39ce48tree
parenteb63fdb37b2784d6d4340402cd0ee00ceb8f5041commit | diff
Add some (so far trivial) regressions for constant arrays.
test/regress/regress0/arrays/Makefile.am diff | blob | history
test/regress/regress0/arrays/constarr.cvc [new file with mode: 0644] blob
test/regress/regress0/arrays/constarr.smt2 [new file with mode: 0644] blob
test/regress/regress0/arrays/constarr2.cvc [new file with mode: 0644] blob
test/regress/regress0/arrays/constarr2.smt2 [new file with mode: 0644] blob
test/regress/regress0/arrays/constarr3.cvc [new file with mode: 0644] blob
test/regress/regress0/arrays/constarr3.smt2 [new file with mode: 0644] blob