Exclude Altergo mappings from coverage report

formalsec · Feb 28, 2025 · 030a5d6 · 030a5d6
1 parent 604c367
commit 030a5d6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/bisect.exclude b/src/bisect.exclude
@@ -1,3 +1,4 @@
-file "src/colibri2_mappings.ml"
+file "src/altergo_mappings.ml"
 file "src/bitwuzla_mappings.ml"
+file "src/colibri2_mappings.ml"
 file "src/cvc5_mappings.ml"