fixes scripts for running Tamarin to disables timeouts while checking well-formedness

ArquintL · ArquintL · commit f743167d72f6 · 2025-09-21T15:25:33.000+02:00
diff --git a/tamarin-docker/verify-dh.sh b/tamarin-docker/verify-dh.sh
@@ -1,3 +1,3 @@
 #!/bin/bash
 
-tamarin-prover --prove dh.spthy
+tamarin-prover --derivcheck-timeout=0 --prove dh.spthy
diff --git a/tamarin-docker/verify-wireguard.sh b/tamarin-docker/verify-wireguard.sh
@@ -1,3 +1,3 @@
 #!/bin/bash
 
-tamarin-prover --heuristic=O --oraclename="wireguard.oracle" --prove wireguard.spthy
+tamarin-prover --derivcheck-timeout=0 --heuristic=O --oraclename="wireguard.oracle" --prove wireguard.spthy

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,3 @@`
`1`	`1`	`#!/bin/bash`
`2`	`2`
`3`		`-tamarin-prover --prove dh.spthy`
	`3`	`+tamarin-prover --derivcheck-timeout=0 --prove dh.spthy`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,3 @@`
`1`	`1`	`#!/bin/bash`
`2`	`2`
`3`		`-tamarin-prover --heuristic=O --oraclename="wireguard.oracle" --prove wireguard.spthy`
	`3`	`+tamarin-prover --derivcheck-timeout=0 --heuristic=O --oraclename="wireguard.oracle" --prove wireguard.spthy`