def test_default_values():
    result = ExecutionResult()
    assert not result.has_test_exceptions()
def test_report_new_thrown_exception():
    result = ExecutionResult()
    result.report_new_thrown_exception(0, Exception())
    assert result.has_test_exceptions()