From 5bbfaf9682487503f95c59c7bc9e5f4cbe62d5c4 Mon Sep 17 00:00:00 2001
From: Eric <5089238+emizzle@users.noreply.github.com>
Date: Mon, 4 Dec 2023 16:29:44 +1100
Subject: [PATCH] enable simulated proof failures for coverage

---
 build.nims | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.nims b/build.nims
index 568b16f0..624f13c8 100644
--- a/build.nims
+++ b/build.nims
@@ -75,7 +75,7 @@ task coverage, "generates code coverage report":
     if f.endswith(".nim"): nimSrcs.add " " & f.absolutePath.quoteShell()
 
   echo "======== Running Tests ======== "
-  test "coverage", srcDir = "tests/", params = " --nimcache:nimcache/coverage -d:release "
+  test "coverage", srcDir = "tests/", params = " --nimcache:nimcache/coverage -d:release -d:codex_enable_proof_failures=true"
   exec("rm nimcache/coverage/*.c")
   rmDir("coverage"); mkDir("coverage")
   echo " ======== Running LCOV ======== "