2400s?

JetBrains-Research · Aug 16, 2024 · 350eb54 · 350eb54
1 parent 39b18fb
commit 350eb54
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -15,7 +15,7 @@
             DIR=''${1:-.}
             for f in "$DIR"/*.dfy
             do
-                ${pkgs.dafny}/bin/dafny verify --allow-warnings --verification-time-limit 60 $f || exit 1
+                ${pkgs.dafny}/bin/dafny verify --allow-warnings --verification-time-limit 2400 $f || exit 1
             done
           '';