Skip to content

Commit c726f95

Browse files
committed
Put back the INIT_STATE_TEST but hide it from the CLI output, since otherwise it breaks tests.
1 parent afb1b96 commit c726f95

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

codeflash/verification/test_results.py

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,8 +30,11 @@ class TestType(Enum):
3030
GENERATED_REGRESSION = 3
3131
REPLAY_TEST = 4
3232
CONCOLIC_COVERAGE_TEST = 5
33+
INIT_STATE_TEST = 6
3334

3435
def to_name(self) -> str:
36+
if self is TestType.INIT_STATE_TEST:
37+
return ""
3538
names = {
3639
TestType.EXISTING_UNIT_TEST: "⚙️ Existing Unit Tests",
3740
TestType.INSPIRED_REGRESSION: "🎨 Inspired Regression Tests",
@@ -141,6 +144,8 @@ def number_of_loops(self) -> int:
141144
def get_test_pass_fail_report_by_type(self) -> dict[TestType, dict[str, int]]:
142145
report = {}
143146
for test_type in TestType:
147+
if test_type == TestType.INIT_STATE_TEST:
148+
continue
144149
report[test_type] = {"passed": 0, "failed": 0}
145150
for test_result in self.test_results:
146151
if test_result.loop_index == 1:

0 commit comments

Comments
 (0)