From 91ed26f1ffcc81af671099b6d78d2105fb2c8f6b Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 2 Mar 2005 20:27:20 +0000
Subject: [PATCH] - Print the arguments for each protocol count again.

---
 test/multiprotocoltest.py | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/test/multiprotocoltest.py b/test/multiprotocoltest.py
index 3d90e47..bc69d43 100755
--- a/test/multiprotocoltest.py
+++ b/test/multiprotocoltest.py
@@ -132,17 +132,19 @@ def ScytherEval (plist):
 	# These bounds assume at least two protocols, otherwise
 	# stuff breaks.
 	if n < 2:
-		n = 2
+		nmin = 2
+	else:
+		nmin = n
 	timer = 1
 	maxruns = 2
 	maxlength = 10
 	if options.bounds == 0:
-		timer = n**2
-		maxruns = 2*n
+		timer = nmin**2
+		maxruns = 2*nmin
 		maxlength = 2 + maxruns * 3
 	elif options.bounds == 1:
-		timer = n**3
-		maxruns = 3*n
+		timer = nmin**3
+		maxruns = 3*nmin
 		maxlength = 2 + maxruns * 4
 	else:
 		print "Don't know bounds method", options.bounds
@@ -155,9 +157,9 @@ def ScytherEval (plist):
 	CommandPrefix = "scyther " + ScytherArgs
 
 	# If these arguments had not been shown before, do so now
-	if not ScytherArgs in ArgumentsList:
-		ArgumentsList.append(ScytherArgs)
-		print "\nArguments for", len(plist), "protocols:", ScytherArgs
+	if not (n,ScytherArgs) in ArgumentsList:
+		ArgumentsList.append((n,ScytherArgs))
+		print "\nArguments for", n, "protocols:", ScytherArgs
 
 	# Combine protocol list to an input
 	input = ""