Update charon

AeneasVerif · Oct 18, 2024 · 0acad46 · 0acad46
1 parent fa20410
commit 0acad46
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/Makefile b/Makefile
@@ -23,7 +23,7 @@ test: $(addprefix test-,$(TEST_DIRS)) custom-test-array
 .PHONY: phony
 .PRECIOUS: test/%/out.llbc
 test/%/out.llbc: phony
-	cd test/$* && $(CHARON) --errors-as-warnings && mv $*.llbc out.llbc
+	cd test/$* && $(CHARON) && mv $*.llbc out.llbc
 
 out/test-%/main.c: test/main.c
 	mkdir -p out/test-$*

diff --git a/flake.lock b/flake.lock