def test_check_merge_modifies_number_less(self):
variables = []
variables.append(Variable('one', 'int', 4))
variables.append(Variable('two', 'bool', 4))
merge = Procedure('merge_proc', 10)
merge.add_parameter(Parameter('one1', 'int'))
merge.add_parameter(Parameter('two1', 'bool'))
merge.add_modifies('two')
checker = ComplianceChecker()
with pytest.raises(ComplianceError):
checker.check_merge(merge, variables)
def test_check_merge_compliant(self):
variables = []
variables.append(Variable('one', 'int', 4))
variables.append(Variable('two', 'bool', 4))
merge = Procedure('merge_proc', 10)
merge.add_parameter(Parameter('one1', 'int'))
merge.add_parameter(Parameter('two1', 'bool'))
merge.add_modifies('one')
merge.add_modifies('two')
checker = ComplianceChecker()
assert checker.check_merge(merge, variables) == True
def test_check_merge_merge_not_defined(self):
variables = []
merge = ''
checker = ComplianceChecker()
with pytest.raises(ComplianceError):
checker.check_merge(merge, variables)
