From 39b18fb0d3f3c002fd1a4b50862d1c1664f31637 Mon Sep 17 00:00:00 2001
From: WeetHet <stas.ale66@gmail.com>
Date: Fri, 16 Aug 2024 14:57:05 +0300
Subject: [PATCH] Try 60s

---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 407018c..c107a57 100644
--- 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 30 $f || exit 1
+                ${pkgs.dafny}/bin/dafny verify --allow-warnings --verification-time-limit 60 $f || exit 1
             done
           '';