def test(self):
logger = logging.getLogger()
with patch.object(logger, "error") as mock_error:
cpachecker_result = generate_coverage.parse_result(
self.output, logger)
mock_error.assert_called_with("Failed to parse CPAchecker output.")
self.assertFalse(cpachecker_result.found_property_violation())
def test(self):
logger = logging.getLogger()
with patch.object(logger, "error") as mock_error:
cpachecker_result = generate_coverage.parse_result(self.output, logger)
self.assertEqual(mock_error.mock_calls, [])
self.assertTrue(cpachecker_result.found_bug())
self.assertTrue(cpachecker_result.found_property_violation())
def test(self):
logger = logging.getLogger()
with patch.object(logger, "error") as mock_error:
cpachecker_result = generate_coverage.parse_result(self.output, logger)
self.assertEqual(mock_error.mock_calls, [])
with self.assertRaisesRegex(
Exception, "This method should not have been called"
):
cpachecker_result.found_bug()
def test(self):
logger = logging.getLogger()
with patch.object(logger, "error") as mock_error:
cpachecker_result = generate_coverage.parse_result(
self.output, logger)
self.assertEqual(mock_error.mock_calls, [])
try:
cpachecker_result.found_bug()
self.fail()
except:
pass
