test reports

katamaran-project · Nov 18, 2024 · 20a9b60 · 20a9b60
1 parent b3ccdba
commit 20a9b60
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/tests/coq-tests/tests-history.txt b/tests/coq-tests/tests-history.txt
@@ -163,3 +163,4 @@
 2024-11-18 PASS:158 FAIL:19
 2024-11-18 PASS:159 FAIL:18
 2024-11-18 PASS:165 FAIL:12
+2024-11-18 PASS:166 FAIL:11
diff --git a/tests/coq-tests/tests-overview.txt b/tests/coq-tests/tests-overview.txt
@@ -25,7 +25,7 @@ PASS bitvectors-disjunction
 PASS bitvectors-hexadecimal-literal
 FAIL bitvectors-indexing
 FAIL bitvectors-matching
-FAIL bitvectors-nested-comparison
+PASS bitvectors-nested-comparison
 PASS bitvectors-ones
 PASS bitvectors-parameter
 PASS bitvectors-register
@@ -175,4 +175,4 @@ FAIL unit-equality
 PASS unit-return
 PASS value-definitions-001
 PASS value-definitions-002
-PASS:165 FAIL:12
+PASS:166 FAIL:11