-
Notifications
You must be signed in to change notification settings - Fork 19
Open
Description
How to reproduce:
python Consistency.py
Expect result: all test cases pass.
Error:
File "Consistency.py", line 834, in <module>
runTestCases()
File "Consistency.py", line 709, in runTestCases
testContradictions(p0, flow1, p0ExpCon, None, p0[0], None)
File "Consistency.py", line 687, in testContradictions
assert(str(pRes) == expPermissive), message.format('permissive', pol[0], pol[1], flow, expPermissive, str(pRes))
AssertionError: Failed permissive check for ((companyX, collect, heart rate), (companyX, not_collect, heart rate)) and flow ((companyX, heart rate)). Expected = (companyX, collect, heart rate), Result = (True, <__main__.PolicyStatement instance at 0x7fecbc558a50>, None)
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels