Lines Matching refs:assertions
31 def splitIntoGroups(assertions):
32 """ Breaks up a list of assertions, grouping instructions which should be
37 for assertion in assertions:
64 def matchDagGroup(assertions, c1Pass, scope, variables):
65 """ Attempts to find matching `c1Pass` lines for a group of DAG assertions.
67 Assertions are matched in the list order and variable values propagated. Only
76 for assertion in assertions:
85 def testNotGroup(assertions, c1Pass, scope, variables):
86 """ Verifies that none of the given NOT assertions matches a line inside
93 for assertion in assertions:
98 def testEvalGroup(assertions, scope, variables):
99 for assertion in assertions:
114 # NOT assertions are verified retrospectively, once the scope is known.
117 # Prepare assertions by grouping those that are verified in the same scope.
119 assertionGroups = splitIntoGroups(testCase.assertions)
127 # NOT assertions will be tested together with the next group.
142 # A group of DAG assertions. Match them all starting from the same point.
152 # Previous group were NOT assertions. Make sure they don't match any lines
