From 1adb90e6a923b277f2945852b0e426875049ce3f Mon Sep 17 00:00:00 2001 From: ccremers Date: Thu, 24 Mar 2005 15:25:43 +0000 Subject: [PATCH] - Simple occurrence test. --- test/multiprotocoltest.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/multiprotocoltest.py b/test/multiprotocoltest.py index cc29a8b..d8d6fe7 100755 --- a/test/multiprotocoltest.py +++ b/test/multiprotocoltest.py @@ -350,7 +350,7 @@ def DescribeContext (filep, protocols, claim): def RequiresAllProtocols (protocols, claim): # check for single results - if ClaimToResultMap[claim] == 0: + if claim in ClaimToResultMap.keys() and ClaimToResultMap[claim] == 0: # claim was always false (already attack on single prot.) return False # check for simple cases