blob: 2d390db74509fd1472426eb5a45900ad82d918f5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
commit 8350c6e96aba15b548ecd423b99b88da35310645
Author: Nguyễn Gia Phong <cnx@loang.net>
Date: 2025-05-08 11:23:51 +0900
Skip nondeterministic test
Test div3 probably used to depend on an implementation detail of Z3
that is no longer present.
diff --git a/tests/run.py b/tests/run.py
index 0b69d990faf5..7db888dfa973 100755
--- a/tests/run.py
+++ b/tests/run.py
@@ -114,8 +114,7 @@ def test_all_concrete(tmp_path, fuzzy):
def test_div3(tmp_path, fuzzy):
- if fuzzy:
- pytest.skip("Fuzzy-SAT cannot deterministically solve this")
+ pytest.skip("Not deterministic")
run("div3", tmp_path)
|
