7872967682

Committed 12 Feb 2024 02:09PM UTC coverage: 70.936% (-11.7%) from 82.589%

Build # 7872967682

Build Type

Pull #25

github

Committed by

web-flow

Commit Message

Merge 1536f6e21 into d5a4e936d

Pull Request Pull Request #25: Stable

Run Details

16 of 41 new or added lines in 4 files covered. (39.02%)

1296 of 1827 relevant lines covered (70.94%)

0.71 hits per line

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

88.89

/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	1✔
2
3
4	class OracleResult(Enum):	1✔
5	FAILING = "FAILING"	1✔
6	PASSING = "PASSING"	1✔
7	UNDEFINED = "UNDEFINED"	1✔
8
9	def __str__(self):	1✔
10	"""Returns the string representation of the enum value."""
11	return self.value	1✔
12
13	def to_bool(self):	1✔
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 / 7872967682

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