All the model tests are positive

OCamlPro · Sep 21, 2023 · d22f993 · d22f993
1 parent c7f8263
commit d22f993
Show file tree

Hide file tree

Showing 20 changed files with 0 additions and 0 deletions.
diff --git a/tests/issues/555.models.fail.expected → tests/issues/555.models.expected b/tests/issues/555.models.fail.expected → tests/issues/555.models.expected
diff --git a/tests/issues/555.models.fail.smt2 → tests/issues/555.models.smt2 b/tests/issues/555.models.fail.smt2 → tests/issues/555.models.smt2
diff --git a/tests/issues/777.models.fail.expected → tests/issues/777.models.expected b/tests/issues/777.models.fail.expected → tests/issues/777.models.expected
diff --git a/tests/issues/777.models.fail.smt2 → tests/issues/777.models.smt2 b/tests/issues/777.models.fail.smt2 → tests/issues/777.models.smt2
diff --git a/.../models/arith/arith1.models.fail.expected → tests/models/arith/arith1.models.expected b/.../models/arith/arith1.models.fail.expected → tests/models/arith/arith1.models.expected
diff --git a/tests/models/arith/arith1.models.fail.smt2 → tests/models/arith/arith1.models.smt2 b/tests/models/arith/arith1.models.fail.smt2 → tests/models/arith/arith1.models.smt2
diff --git a/.../models/arith/arith2.models.fail.expected → tests/models/arith/arith2.models.expected b/.../models/arith/arith2.models.fail.expected → tests/models/arith/arith2.models.expected
diff --git a/tests/models/arith/arith2.models.fail.smt2 → tests/models/arith/arith2.models.smt2 b/tests/models/arith/arith2.models.fail.smt2 → tests/models/arith/arith2.models.smt2
diff --git a/tests/models/bool/bool1.models.fail.expected → tests/models/bool/bool1.models.expected b/tests/models/bool/bool1.models.fail.expected → tests/models/bool/bool1.models.expected
diff --git a/tests/models/bool/bool1.models.fail.smt2 → tests/models/bool/bool1.models.smt2 b/tests/models/bool/bool1.models.fail.smt2 → tests/models/bool/bool1.models.smt2
diff --git a/tests/models/bool/bool2.models.fail.expected → tests/models/bool/bool2.models.expected b/tests/models/bool/bool2.models.fail.expected → tests/models/bool/bool2.models.expected
diff --git a/tests/models/bool/bool2.models.fail.smt2 → tests/models/bool/bool2.models.smt2 b/tests/models/bool/bool2.models.fail.smt2 → tests/models/bool/bool2.models.smt2
diff --git a/...els/issues/715/715_2.models.fail.expected → ...s/models/issues/715/715_2.models.expected b/...els/issues/715/715_2.models.fail.expected → ...s/models/issues/715/715_2.models.expected
diff --git a/.../models/issues/715/715_2.models.fail.smt2 → tests/models/issues/715/715_2.models.smt2 b/.../models/issues/715/715_2.models.fail.smt2 → tests/models/issues/715/715_2.models.smt2
diff --git a/...dels/records/record1.models.fail.expected → tests/models/records/record1.models.expected b/...dels/records/record1.models.fail.expected → tests/models/records/record1.models.expected
diff --git a/...s/models/records/record1.models.fail.smt2 → tests/models/records/record1.models.smt2 b/...s/models/records/record1.models.fail.smt2 → tests/models/records/record1.models.smt2
diff --git a/tests/models/uf/uf1.models.fail.expected → tests/models/uf/uf1.models.expected b/tests/models/uf/uf1.models.fail.expected → tests/models/uf/uf1.models.expected
diff --git a/tests/models/uf/uf1.models.fail.smt2 → tests/models/uf/uf1.models.smt2 b/tests/models/uf/uf1.models.fail.smt2 → tests/models/uf/uf1.models.smt2
diff --git a/tests/models/uf/uf2.models.fail.expected → tests/models/uf/uf2.models.expected b/tests/models/uf/uf2.models.fail.expected → tests/models/uf/uf2.models.expected
diff --git a/tests/models/uf/uf2.models.fail.smt2 → tests/models/uf/uf2.models.smt2 b/tests/models/uf/uf2.models.fail.smt2 → tests/models/uf/uf2.models.smt2