temporary

OCamlPro · Oct 8, 2024 · b0d51b3 · b0d51b3
1 parent 968d660
commit b0d51b3
Show file tree

Hide file tree

Showing 116 changed files with 0 additions and 24 deletions.
diff --git a/tests/bitv/testfile-bvnot.expected → tests/bitv/testfile-bvnot.default.expected b/tests/bitv/testfile-bvnot.expected → tests/bitv/testfile-bvnot.default.expected
diff --git a/tests/bitv/testfile-bvnot.smt2 → tests/bitv/testfile-bvnot.default.smt2 b/tests/bitv/testfile-bvnot.smt2 → tests/bitv/testfile-bvnot.default.smt2
diff --git a/tests/models/adt/arith.models.expected → tests/models/adt/arith.default.expected b/tests/models/adt/arith.models.expected → tests/models/adt/arith.default.expected
diff --git a/tests/models/adt/arith.models.smt2 → tests/models/adt/arith.default.smt2 b/tests/models/adt/arith.models.smt2 → tests/models/adt/arith.default.smt2
diff --git a/tests/models/adt/list.models.expected → tests/models/adt/list.default.expected b/tests/models/adt/list.models.expected → tests/models/adt/list.default.expected
diff --git a/tests/models/adt/list.models.smt2 → tests/models/adt/list.default.smt2 b/tests/models/adt/list.models.smt2 → tests/models/adt/list.default.smt2
diff --git a/tests/models/adt/rec.models.expected → tests/models/adt/rec.default.expected b/tests/models/adt/rec.models.expected → tests/models/adt/rec.default.expected
diff --git a/tests/models/adt/rec.models.smt2 → tests/models/adt/rec.default.smt2 b/tests/models/adt/rec.models.smt2 → tests/models/adt/rec.default.smt2
diff --git a/tests/models/adt/rec2.models.expected → tests/models/adt/rec2.default.expected b/tests/models/adt/rec2.models.expected → tests/models/adt/rec2.default.expected
diff --git a/tests/models/adt/rec2.models.smt2 → tests/models/adt/rec2.default.smt2 b/tests/models/adt/rec2.models.smt2 → tests/models/adt/rec2.default.smt2
diff --git a/tests/models/adt/rec3.models.expected → tests/models/adt/rec3.default.expected b/tests/models/adt/rec3.models.expected → tests/models/adt/rec3.default.expected
diff --git a/tests/models/adt/rec3.models.smt2 → tests/models/adt/rec3.default.smt2 b/tests/models/adt/rec3.models.smt2 → tests/models/adt/rec3.default.smt2
diff --git a/tests/models/adt/small.models.expected → tests/models/adt/small.default.expected b/tests/models/adt/small.models.expected → tests/models/adt/small.default.expected
diff --git a/tests/models/adt/small.models.smt2 → tests/models/adt/small.default.smt2 b/tests/models/adt/small.models.smt2 → tests/models/adt/small.default.smt2
diff --git a/tests/models/arith/arith1.expected → tests/models/arith/arith1.default.expected b/tests/models/arith/arith1.expected → tests/models/arith/arith1.default.expected
diff --git a/tests/models/arith/arith1.models.smt2 → tests/models/arith/arith1.default.smt2 b/tests/models/arith/arith1.models.smt2 → tests/models/arith/arith1.default.smt2
diff --git a/tests/models/arith/arith1.models.expected b/tests/models/arith/arith1.models.expected
diff --git a/tests/models/arith/arith1.smt2 b/tests/models/arith/arith1.smt2
diff --git a/tests/models/arith/arith10.expected → tests/models/arith/arith10.default.expected b/tests/models/arith/arith10.expected → tests/models/arith/arith10.default.expected
diff --git a/tests/models/arith/arith10.smt2 → tests/models/arith/arith10.default.smt2 b/tests/models/arith/arith10.smt2 → tests/models/arith/arith10.default.smt2
diff --git a/tests/models/arith/arith11.expected → tests/models/arith/arith11.default.expected b/tests/models/arith/arith11.expected → tests/models/arith/arith11.default.expected
diff --git a/tests/models/arith/arith11.smt2 → tests/models/arith/arith11.default.smt2 b/tests/models/arith/arith11.smt2 → tests/models/arith/arith11.default.smt2
diff --git a/tests/models/arith/arith12.expected → tests/models/arith/arith12.default.expected b/tests/models/arith/arith12.expected → tests/models/arith/arith12.default.expected
diff --git a/tests/models/arith/arith12.smt2 → tests/models/arith/arith12.default.smt2 b/tests/models/arith/arith12.smt2 → tests/models/arith/arith12.default.smt2
diff --git a/tests/models/arith/arith13.models.expected → tests/models/arith/arith13.default.expected b/tests/models/arith/arith13.models.expected → tests/models/arith/arith13.default.expected
diff --git a/tests/models/arith/arith13.models.smt2 → tests/models/arith/arith13.default.smt2 b/tests/models/arith/arith13.models.smt2 → tests/models/arith/arith13.default.smt2
diff --git a/tests/models/arith/arith14.models.expected → tests/models/arith/arith14.default.expected b/tests/models/arith/arith14.models.expected → tests/models/arith/arith14.default.expected
diff --git a/tests/models/arith/arith14.models.smt2 → tests/models/arith/arith14.default.smt2 b/tests/models/arith/arith14.models.smt2 → tests/models/arith/arith14.default.smt2
diff --git a/tests/models/arith/arith15.models.expected → tests/models/arith/arith15.default.expected b/tests/models/arith/arith15.models.expected → tests/models/arith/arith15.default.expected
diff --git a/tests/models/arith/arith15.models.smt2 → tests/models/arith/arith15.default.smt2 b/tests/models/arith/arith15.models.smt2 → tests/models/arith/arith15.default.smt2
diff --git a/tests/models/arith/arith2.expected → tests/models/arith/arith2.default.expected b/tests/models/arith/arith2.expected → tests/models/arith/arith2.default.expected
diff --git a/tests/models/arith/arith2.models.smt2 → tests/models/arith/arith2.default.smt2 b/tests/models/arith/arith2.models.smt2 → tests/models/arith/arith2.default.smt2
diff --git a/tests/models/arith/arith2.models.expected b/tests/models/arith/arith2.models.expected
diff --git a/tests/models/arith/arith2.smt2 b/tests/models/arith/arith2.smt2
diff --git a/tests/models/arith/arith3.expected → tests/models/arith/arith3.default.expected b/tests/models/arith/arith3.expected → tests/models/arith/arith3.default.expected
diff --git a/tests/models/arith/arith3.smt2 → tests/models/arith/arith3.default.smt2 b/tests/models/arith/arith3.smt2 → tests/models/arith/arith3.default.smt2
diff --git a/tests/models/arith/arith4.expected → tests/models/arith/arith4.default.expected b/tests/models/arith/arith4.expected → tests/models/arith/arith4.default.expected
diff --git a/tests/models/arith/arith4.smt2 → tests/models/arith/arith4.default.smt2 b/tests/models/arith/arith4.smt2 → tests/models/arith/arith4.default.smt2
diff --git a/tests/models/arith/arith5.expected → tests/models/arith/arith5.default.expected b/tests/models/arith/arith5.expected → tests/models/arith/arith5.default.expected
diff --git a/tests/models/arith/arith5.smt2 → tests/models/arith/arith5.default.smt2 b/tests/models/arith/arith5.smt2 → tests/models/arith/arith5.default.smt2
diff --git a/tests/models/arith/arith6.expected → tests/models/arith/arith6.default.expected b/tests/models/arith/arith6.expected → tests/models/arith/arith6.default.expected
diff --git a/tests/models/arith/arith6.smt2 → tests/models/arith/arith6.default.smt2 b/tests/models/arith/arith6.smt2 → tests/models/arith/arith6.default.smt2
diff --git a/tests/models/arith/arith7.expected → tests/models/arith/arith7.default.expected b/tests/models/arith/arith7.expected → tests/models/arith/arith7.default.expected
diff --git a/tests/models/arith/arith7.smt2 → tests/models/arith/arith7.default.smt2 b/tests/models/arith/arith7.smt2 → tests/models/arith/arith7.default.smt2
diff --git a/tests/models/arith/arith8.expected → tests/models/arith/arith8.default.expected b/tests/models/arith/arith8.expected → tests/models/arith/arith8.default.expected
diff --git a/tests/models/arith/arith8.smt2 → tests/models/arith/arith8.default.smt2 b/tests/models/arith/arith8.smt2 → tests/models/arith/arith8.default.smt2
diff --git a/tests/models/arith/arith9.expected → tests/models/arith/arith9.default.expected b/tests/models/arith/arith9.expected → tests/models/arith/arith9.default.expected
diff --git a/tests/models/arith/arith9.smt2 → tests/models/arith/arith9.default.smt2 b/tests/models/arith/arith9.smt2 → tests/models/arith/arith9.default.smt2
diff --git a/tests/models/array/array1.models.expected → tests/models/array/array1.default.expected b/tests/models/array/array1.models.expected → tests/models/array/array1.default.expected
diff --git a/tests/models/array/array1.models.smt2 → tests/models/array/array1.default.smt2 b/tests/models/array/array1.models.smt2 → tests/models/array/array1.default.smt2
diff --git a/...dels/array/embedded-array.models.expected → ...els/array/embedded-array.default.expected b/...dels/array/embedded-array.models.expected → ...els/array/embedded-array.default.expected
diff --git a/...s/models/array/embedded-array.models.smt2 → .../models/array/embedded-array.default.smt2 b/...s/models/array/embedded-array.models.smt2 → .../models/array/embedded-array.default.smt2
diff --git a/tests/models/bitv/bvand-1.models.expected → tests/models/bitv/bvand-1.default.expected b/tests/models/bitv/bvand-1.models.expected → tests/models/bitv/bvand-1.default.expected
diff --git a/tests/models/bitv/bvand-1.models.smt2 → tests/models/bitv/bvand-1.default.smt2 b/tests/models/bitv/bvand-1.models.smt2 → tests/models/bitv/bvand-1.default.smt2
diff --git a/tests/models/bitv/bvand-2.models.expected → tests/models/bitv/bvand-2.default.expected b/tests/models/bitv/bvand-2.models.expected → tests/models/bitv/bvand-2.default.expected
diff --git a/tests/models/bitv/bvand-2.models.smt2 → tests/models/bitv/bvand-2.default.smt2 b/tests/models/bitv/bvand-2.models.smt2 → tests/models/bitv/bvand-2.default.smt2
diff --git a/tests/models/bitv/bvor-1.models.expected → tests/models/bitv/bvor-1.default.expected b/tests/models/bitv/bvor-1.models.expected → tests/models/bitv/bvor-1.default.expected
diff --git a/tests/models/bitv/bvor-1.models.smt2 → tests/models/bitv/bvor-1.default.smt2 b/tests/models/bitv/bvor-1.models.smt2 → tests/models/bitv/bvor-1.default.smt2
diff --git a/tests/models/bitv/bvor-2.models.expected → tests/models/bitv/bvor-2.default.expected b/tests/models/bitv/bvor-2.models.expected → tests/models/bitv/bvor-2.default.expected
diff --git a/tests/models/bitv/bvor-2.models.smt2 → tests/models/bitv/bvor-2.default.smt2 b/tests/models/bitv/bvor-2.models.smt2 → tests/models/bitv/bvor-2.default.smt2
diff --git a/tests/models/bitv/bvxor-1.models.expected → tests/models/bitv/bvxor-1.default.expected b/tests/models/bitv/bvxor-1.models.expected → tests/models/bitv/bvxor-1.default.expected
diff --git a/tests/models/bitv/bvxor-1.models.smt2 → tests/models/bitv/bvxor-1.default.smt2 b/tests/models/bitv/bvxor-1.models.smt2 → tests/models/bitv/bvxor-1.default.smt2
diff --git a/tests/models/bitv/bvxor-2.models.expected → tests/models/bitv/bvxor-2.default.expected b/tests/models/bitv/bvxor-2.models.expected → tests/models/bitv/bvxor-2.default.expected
diff --git a/tests/models/bitv/bvxor-2.models.smt2 → tests/models/bitv/bvxor-2.default.smt2 b/tests/models/bitv/bvxor-2.models.smt2 → tests/models/bitv/bvxor-2.default.smt2
diff --git a/tests/models/bitv/cardinal.models.expected → tests/models/bitv/cardinal.default.expected b/tests/models/bitv/cardinal.models.expected → tests/models/bitv/cardinal.default.expected
diff --git a/tests/models/bitv/cardinal.models.smt2 → tests/models/bitv/cardinal.default.smt2 b/tests/models/bitv/cardinal.models.smt2 → tests/models/bitv/cardinal.default.smt2
diff --git a/.../models/bitv/cs-soundness.models.expected → ...models/bitv/cs-soundness.default.expected b/.../models/bitv/cs-soundness.models.expected → ...models/bitv/cs-soundness.default.expected
diff --git a/tests/models/bitv/cs-soundness.models.smt2 → tests/models/bitv/cs-soundness.default.smt2 b/tests/models/bitv/cs-soundness.models.smt2 → tests/models/bitv/cs-soundness.default.smt2
diff --git a/tests/models/bitv/extract.models.expected → tests/models/bitv/extract.default.expected b/tests/models/bitv/extract.models.expected → tests/models/bitv/extract.default.expected
diff --git a/tests/models/bitv/extract.models.smt2 → tests/models/bitv/extract.default.smt2 b/tests/models/bitv/extract.models.smt2 → tests/models/bitv/extract.default.smt2
diff --git a/tests/models/bitv/manyslice.models.expected → tests/models/bitv/manyslice.default.expected b/tests/models/bitv/manyslice.models.expected → tests/models/bitv/manyslice.default.expected
diff --git a/tests/models/bitv/manyslice.models.smt2 → tests/models/bitv/manyslice.default.smt2 b/tests/models/bitv/manyslice.models.smt2 → tests/models/bitv/manyslice.default.smt2
diff --git a/tests/models/bitv/not.models.expected → tests/models/bitv/not.default.expected b/tests/models/bitv/not.models.expected → tests/models/bitv/not.default.expected
diff --git a/tests/models/bitv/not.models.smt2 → tests/models/bitv/not.default.smt2 b/tests/models/bitv/not.models.smt2 → tests/models/bitv/not.default.smt2
diff --git a/tests/models/bitv/optim-1.models.expected → tests/models/bitv/optim-1.default.expected b/tests/models/bitv/optim-1.models.expected → tests/models/bitv/optim-1.default.expected
diff --git a/tests/models/bitv/optim-1.models.smt2 → tests/models/bitv/optim-1.default.smt2 b/tests/models/bitv/optim-1.models.smt2 → tests/models/bitv/optim-1.default.smt2
diff --git a/tests/models/bitv/optim-2.models.expected → tests/models/bitv/optim-2.default.expected b/tests/models/bitv/optim-2.models.expected → tests/models/bitv/optim-2.default.expected
diff --git a/tests/models/bitv/optim-2.models.smt2 → tests/models/bitv/optim-2.default.smt2 b/tests/models/bitv/optim-2.models.smt2 → tests/models/bitv/optim-2.default.smt2
diff --git a/tests/models/bitv/optim-3.models.expected → tests/models/bitv/optim-3.default.expected b/tests/models/bitv/optim-3.models.expected → tests/models/bitv/optim-3.default.expected
diff --git a/tests/models/bitv/optim-3.models.smt2 → tests/models/bitv/optim-3.default.smt2 b/tests/models/bitv/optim-3.models.smt2 → tests/models/bitv/optim-3.default.smt2
diff --git a/tests/models/bitv/optim-4.models.expected → tests/models/bitv/optim-4.default.expected b/tests/models/bitv/optim-4.models.expected → tests/models/bitv/optim-4.default.expected
diff --git a/tests/models/bitv/optim-4.models.smt2 → tests/models/bitv/optim-4.default.smt2 b/tests/models/bitv/optim-4.models.smt2 → tests/models/bitv/optim-4.default.smt2
diff --git a/tests/models/bitv/optim-5.models.expected → tests/models/bitv/optim-5.default.expected b/tests/models/bitv/optim-5.models.expected → tests/models/bitv/optim-5.default.expected
diff --git a/tests/models/bitv/optim-5.models.smt2 → tests/models/bitv/optim-5.default.smt2 b/tests/models/bitv/optim-5.models.smt2 → tests/models/bitv/optim-5.default.smt2
diff --git a/tests/models/bitv/specified.models.expected → tests/models/bitv/specified.default.expected b/tests/models/bitv/specified.models.expected → tests/models/bitv/specified.default.expected
diff --git a/tests/models/bitv/specified.models.smt2 → tests/models/bitv/specified.default.smt2 b/tests/models/bitv/specified.models.smt2 → tests/models/bitv/specified.default.smt2
diff --git a/tests/models/bool/bool1.models.expected → tests/models/bool/bool1.default.expected b/tests/models/bool/bool1.models.expected → tests/models/bool/bool1.default.expected
diff --git a/tests/models/bool/bool1.models.smt2 → tests/models/bool/bool1.default.smt2 b/tests/models/bool/bool1.models.smt2 → tests/models/bool/bool1.default.smt2
diff --git a/tests/models/bool/bool2.models.expected → tests/models/bool/bool2.default.expected b/tests/models/bool/bool2.models.expected → tests/models/bool/bool2.default.expected
diff --git a/tests/models/bool/bool2.models.smt2 → tests/models/bool/bool2.default.smt2 b/tests/models/bool/bool2.models.smt2 → tests/models/bool/bool2.default.smt2
diff --git a/tests/models/bool/bool3.models.expected → tests/models/bool/bool3.default.expected b/tests/models/bool/bool3.models.expected → tests/models/bool/bool3.default.expected
diff --git a/tests/models/bool/bool3.models.smt2 → tests/models/bool/bool3.default.smt2 b/tests/models/bool/bool3.models.smt2 → tests/models/bool/bool3.default.smt2
diff --git a/tests/models/check_sat.models.ae → tests/models/check_sat.default.ae b/tests/models/check_sat.models.ae → tests/models/check_sat.default.ae
diff --git a/tests/models/check_sat.models.expected → tests/models/check_sat.default.expected b/tests/models/check_sat.models.expected → tests/models/check_sat.default.expected
diff --git a/tests/models/complete_1.models.expected → tests/models/complete_1.default.expected b/tests/models/complete_1.models.expected → tests/models/complete_1.default.expected
diff --git a/tests/models/complete_1.models.smt2 → tests/models/complete_1.default.smt2 b/tests/models/complete_1.models.smt2 → tests/models/complete_1.default.smt2
diff --git a/tests/models/complete_2.models.expected → tests/models/complete_2.default.expected b/tests/models/complete_2.models.expected → tests/models/complete_2.default.expected
diff --git a/tests/models/complete_2.models.smt2 → tests/models/complete_2.default.smt2 b/tests/models/complete_2.models.smt2 → tests/models/complete_2.default.smt2
diff --git a/tests/models/complete_3.models.expected → tests/models/complete_3.default.expected b/tests/models/complete_3.models.expected → tests/models/complete_3.default.expected
diff --git a/tests/models/complete_3.models.smt2 → tests/models/complete_3.default.smt2 b/tests/models/complete_3.models.smt2 → tests/models/complete_3.default.smt2
diff --git a/tests/models/issues/715/715_1.models.ae → tests/models/issues/715/715_1.default.ae b/tests/models/issues/715/715_1.models.ae → tests/models/issues/715/715_1.default.ae
diff --git a/...s/models/issues/715/715_1.models.expected → .../models/issues/715/715_1.default.expected b/...s/models/issues/715/715_1.models.expected → .../models/issues/715/715_1.default.expected
diff --git a/...s/models/issues/715/715_2.models.expected → .../models/issues/715/715_2.default.expected b/...s/models/issues/715/715_2.models.expected → .../models/issues/715/715_2.default.expected
diff --git a/tests/models/issues/715/715_2.models.smt2 → tests/models/issues/715/715_2.default.smt2 b/tests/models/issues/715/715_2.models.smt2 → tests/models/issues/715/715_2.default.smt2
diff --git a/tests/models/issues/719.models.err.expected → tests/models/issues/719.default.err.expected b/tests/models/issues/719.models.err.expected → tests/models/issues/719.default.err.expected
diff --git a/tests/models/issues/719.models.err.smt2 → tests/models/issues/719.default.err.smt2 b/tests/models/issues/719.models.err.smt2 → tests/models/issues/719.default.err.smt2
diff --git a/tests/models/records/record1.models.expected → ...s/models/records/record1.default.expected b/tests/models/records/record1.models.expected → ...s/models/records/record1.default.expected
diff --git a/tests/models/records/record1.models.smt2 → tests/models/records/record1.default.smt2 b/tests/models/records/record1.models.smt2 → tests/models/records/record1.default.smt2
diff --git a/tests/models/records/record2.models.expected → ...s/models/records/record2.default.expected b/tests/models/records/record2.models.expected → ...s/models/records/record2.default.expected
diff --git a/tests/models/records/record2.models.smt2 → tests/models/records/record2.default.smt2 b/tests/models/records/record2.models.smt2 → tests/models/records/record2.default.smt2
diff --git a/tests/models/records/record3.models.expected → ...s/models/records/record3.default.expected b/tests/models/records/record3.models.expected → ...s/models/records/record3.default.expected
diff --git a/tests/models/records/record3.models.smt2 → tests/models/records/record3.default.smt2 b/tests/models/records/record3.models.smt2 → tests/models/records/record3.default.smt2
diff --git a/tests/models/uf/uf1.models.expected → tests/models/uf/uf1.default.expected b/tests/models/uf/uf1.models.expected → tests/models/uf/uf1.default.expected
diff --git a/tests/models/uf/uf1.models.smt2 → tests/models/uf/uf1.default.smt2 b/tests/models/uf/uf1.models.smt2 → tests/models/uf/uf1.default.smt2
diff --git a/tests/models/uf/uf2.models.expected → tests/models/uf/uf2.default.expected b/tests/models/uf/uf2.models.expected → tests/models/uf/uf2.default.expected
diff --git a/tests/models/uf/uf2.models.smt2 → tests/models/uf/uf2.default.smt2 b/tests/models/uf/uf2.models.smt2 → tests/models/uf/uf2.default.smt2