7872562145

Committed 12 Feb 2024 01:34PM UTC coverage: 0.0% (-82.6%) from 82.589%

Build # 7872562145

Build Type

Pull #25

github

Committed by

martineberlein

Commit Message

update coverage pipeline

Pull Request Pull Request #25: Stable

Run Details

0 of 32 new or added lines in 3 files covered. (0.0%)

0 of 1877 relevant lines covered (0.0%)

0.0 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0

/src/debugging_framework/oracle.py

from enum import Enum


class OracleResult(Enum):
    FAILING = "FAILING"
    PASSING = "PASSING"
    UNDEFINED = "UNDEFINED"

    def __str__(self):
        """Returns the string representation of the enum value."""
        return self.value

    def to_bool(self):
        """
        Returns True if the result indicates a failing condition, False otherwise.

        The method considers only 'FAILING' as indicating a failure, with both
        'PASSING' and 'UNDEFINED' considered as not indicating failure.
        """
        return self == OracleResult.FAILING

1	from enum import Enum	×
2
3
4	class OracleResult(Enum):	×
5	FAILING = "FAILING"	×
6	PASSING = "PASSING"	×
7	UNDEFINED = "UNDEFINED"	×
8
9	def __str__(self):	×
10	"""Returns the string representation of the enum value."""
11	return self.value	×
12
NEW 13	def to_bool(self):	×
14	"""
15	Returns True if the result indicates a failing condition, False otherwise.
16
17	The method considers only 'FAILING' as indicating a failure, with both
18	'PASSING' and 'UNDEFINED' considered as not indicating failure.
19	"""
NEW 20	return self == OracleResult.FAILING	×

martineberlein / debugging-benchmark / 7872562145

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous