Skip to content

Commit c213ee6

Browse files
HalbarothHalbaroth
committed
Negative tests
Some tests about models failed in the OptimAE PR. This commit allows to tag tests in `tests/` with `fail` tag which means the test is supposed to fail.
1 parent 3515f22 commit c213ee6

22 files changed

+47006
-50189
lines changed

‎tests/dune.inc

Lines changed: 46970 additions & 50174 deletions
Large diffs are not rendered by default.

‎tests/issues/555.models.expected renamed to ‎tests/issues/555.models.fail.expected

File renamed without changes.

‎tests/issues/555.models.smt2 renamed to ‎tests/issues/555.models.fail.smt2

File renamed without changes.

‎tests/issues/777.models.expected renamed to ‎tests/issues/777.models.fail.expected

File renamed without changes.

‎tests/issues/777.models.smt2 renamed to ‎tests/issues/777.models.fail.smt2

File renamed without changes.

‎tests/models/arith/arith1.models.expected renamed to ‎tests/models/arith/arith1.models.fail.expected

File renamed without changes.

‎tests/models/arith/arith1.models.smt2 renamed to ‎tests/models/arith/arith1.models.fail.smt2

File renamed without changes.

‎tests/models/arith/arith2.models.expected renamed to ‎tests/models/arith/arith2.models.fail.expected

File renamed without changes.

‎tests/models/arith/arith2.models.smt2 renamed to ‎tests/models/arith/arith2.models.fail.smt2

File renamed without changes.

‎tests/models/bool/bool1.models.expected renamed to ‎tests/models/bool/bool1.models.fail.expected

File renamed without changes.

0 commit comments

Comments
 (0)