m

ajewellamz · ajewellamz · commit 51be9ac7be7d · 2024-05-16T18:13:23.000-04:00
diff --git a/SharedMakefile.mk b/SharedMakefile.mk
@@ -11,4 +11,4 @@ GRADLEW := ./runtimes/java/gradlew
 
 include $(SMITHY_DAFNY_ROOT)/SmithyDafnyMakefile.mk
 
-VERIFY_TIMEOUT := 150
+VERIFY_TIMEOUT := 250

Original file line number	Diff line number	Diff line change
`@@ -11,4 +11,4 @@ GRADLEW := ./runtimes/java/gradlew`
`11`	`11`
`12`	`12`	`include $(SMITHY_DAFNY_ROOT)/SmithyDafnyMakefile.mk`
`13`	`13`
`14`		`-VERIFY_TIMEOUT := 150`
	`14`	`+VERIFY_TIMEOUT := 250`