Add justfile miri command

CQCL · Jun 14, 2024 · 8ad32d8 · 8ad32d8
1 parent fc02000
commit 8ad32d8
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/justfile b/justfile
@@ -42,6 +42,10 @@ coverage language="[rust|python]": (_run_lang language \
         "poetry run pytest --cov=./ --cov-report=html"
     )
 
+# Run undsoundness checks using miri
+miri:
+    PROPTEST_DISABLE_FAILURE_PERSISTENCE=true MIRIFLAGS='-Zmiri-env-forward=PROPTEST_DISABLE_FAILURE_PERSISTENCE' cargo +nightly miri test
+
 # Load a shell with all the dependencies installed
 shell:
     poetry shell