diff --git a/spdl/multiprotocoltest.py b/spdl/multiprotocoltest.py index 27aad90..4c3b4c0 100755 --- a/spdl/multiprotocoltest.py +++ b/spdl/multiprotocoltest.py @@ -36,8 +36,8 @@ ScytherProgram = "../src/scyther" # Scyther parameters ScytherDefaults = "--summary" -ScytherMethods = "-m1 -a" -ScytherBounds = "-r4 --max-depth=20 -l15" +ScytherMethods = "--match=1 --arachne" +ScytherBounds = "--timer=100 --max-runs=5 --max-depth=30 --max-length=18" # Build a large part of the command line (for Scyther) already ScytherArgs = ScytherDefaults + " " + ScytherMethods + " " + ScytherBounds