We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7f65272 commit dc29c29Copy full SHA for dc29c29
codeflash/verification/equivalence.py
@@ -70,7 +70,6 @@ def compare_test_results(original_results: TestResults, candidate_results: TestR
70
are_equal = False
71
break
72
73
-# TODO: add more tests, regression and replay
74
if original_test_result.test_type in {TestType.EXISTING_UNIT_TEST, TestType.CONCOLIC_COVERAGE_TEST, TestType.GENERATED_REGRESSION, TestType.REPLAY_TEST} and (
75
cdd_test_result.did_pass != original_test_result.did_pass
76
):
0 commit comments