projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a945d0b) | patch
some unit tests to work on slicing
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 17 Feb 2011 05:27:48 +0000 (05:27 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 17 Feb 2011 05:27:48 +0000 (05:27 +0000)
commit2026786fb40e6278942918489823742cd690169c
treee198df5bed7118dbb45db2877df36d9b307993f3tree
parenta945d0b3c3797c6662fe85273ff85f9dafc9c406commit | diff
some unit tests to work on slicing
38 files changed:
test/regress/regress0/bv/core/slice-01.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-01.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-02.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-02.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-03.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-03.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-04.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-04.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-05.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-05.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-06.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-06.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-07.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-07.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-08.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-08.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-09.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-09.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-10.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-10.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-11.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-11.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-12.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-12.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-13.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-13.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-14.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-14.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-15.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-15.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-16.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-16.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-17.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-17.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-18.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-18.smt [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-19.cvc [new file with mode: 0644] blob
test/regress/regress0/bv/core/slice-19.smt [new file with mode: 0644] blob