Use the to_name()

Author: davidgirdwood1

codeflash/github/PrComment.py

@@ -24,7 +24,7 @@ def to_json(self) -> dict[str, Union[dict[str, dict[str, int]], int, str]]:
         report_table = {
             test_type.to_name(): result
             for test_type, result in self.winning_behavioral_test_results.get_test_pass_fail_report_by_type().items()
-            if test_type.should_display_result()
+            if test_type.to_name()
         }
 
         return {

codeflash/verification/test_results.py

@@ -30,9 +30,6 @@ class TestType(Enum):
     CONCOLIC_COVERAGE_TEST = 5
     INIT_STATE_TEST = 6
 
-    def should_display(self) -> bool:
-        return self != TestType.INIT_STATE_TEST
-
     def to_name(self) -> str:
         if self == TestType.INIT_STATE_TEST:
             return ""