- Simple occurrence test.

This commit is contained in:
ccremers 2005-03-24 15:25:43 +00:00
parent 2baf88bf47
commit 1adb90e6a9

View File

@ -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