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