Disable flaky qfbv-timeout test

See OCamlPro#1277
bclement-ocp · Jan 27, 2025 · 90b3623 · 90b3623
1 parent bc072d2
commit 90b3623
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/.../bitv/testfile-qfbv-timeout.unix.expected → .../slow/testfile-qfbv-timeout.unix.expected b/.../bitv/testfile-qfbv-timeout.unix.expected → .../slow/testfile-qfbv-timeout.unix.expected
diff --git a/tests/bitv/testfile-qfbv-timeout.unix.smt2 → tests/slow/testfile-qfbv-timeout.unix.smt2 b/tests/bitv/testfile-qfbv-timeout.unix.smt2 → tests/slow/testfile-qfbv-timeout.unix.smt2