From 3df8cd3c16c2def10074389d4b2041f25779c300 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Wed, 30 Oct 2024 11:50:51 -0700 Subject: [PATCH 1/2] don't allow warning --- SharedMakefile.mk | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/SharedMakefile.mk b/SharedMakefile.mk index 37f18d5f6..a22d3005d 100644 --- a/SharedMakefile.mk +++ b/SharedMakefile.mk @@ -13,9 +13,9 @@ include $(SMITHY_DAFNY_ROOT)/SmithyDafnyMakefile.mk VERIFY_TIMEOUT := 250 -verify:DAFNY_OPTIONS=--allow-warnings --allow-external-contracts --log-format csv -verify_single:DAFNY_OPTIONS=--allow-warnings --allow-external-contracts --log-format csv -verify_service:DAFNY_OPTIONS=--allow-warnings --allow-external-contracts --log-format csv +verify:DAFNY_OPTIONS=--allow-deprecation --allow-external-contracts +verify_single:DAFNY_OPTIONS=--allow-deprecation --allow-external-contracts +verify_service:DAFNY_OPTIONS=--allow-deprecation --allow-external-contractsv transpile_implementation_net: DAFNY_OPTIONS=--allow-warnings --compile-suffix --legacy-module-names --allow-external-contracts transpile_test_net: DAFNY_OPTIONS=--allow-warnings --include-test-runner --compile-suffix --legacy-module-names --allow-external-contracts From 6071b9d765e8f749a5cd25bf075b83f76de48311 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Wed, 30 Oct 2024 13:50:44 -0700 Subject: [PATCH 2/2] fix --- SharedMakefile.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/SharedMakefile.mk b/SharedMakefile.mk index a22d3005d..84790abc5 100644 --- a/SharedMakefile.mk +++ b/SharedMakefile.mk @@ -15,7 +15,7 @@ VERIFY_TIMEOUT := 250 verify:DAFNY_OPTIONS=--allow-deprecation --allow-external-contracts verify_single:DAFNY_OPTIONS=--allow-deprecation --allow-external-contracts -verify_service:DAFNY_OPTIONS=--allow-deprecation --allow-external-contractsv +verify_service:DAFNY_OPTIONS=--allow-deprecation --allow-external-contracts transpile_implementation_net: DAFNY_OPTIONS=--allow-warnings --compile-suffix --legacy-module-names --allow-external-contracts transpile_test_net: DAFNY_OPTIONS=--allow-warnings --include-test-runner --compile-suffix --legacy-module-names --allow-external-contracts