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 48121e9 commit 875dc69Copy full SHA for 875dc69
codeflash/verification/test_runner.py
@@ -90,17 +90,18 @@ def run_behavioral_tests(
90
env=pytest_test_env,
91
timeout=600,
92
)
93
+ logger.info(auditing_res.stdout)
94
if auditing_res.returncode != 0:
95
line_co = next(
96
(
97
line
98
for line in auditing_res.stderr.splitlines() + auditing_res.stdout.splitlines()
- if "codeflash.verification._auditwall.SideEffectDetectedError" in line
99
+ if "auditwall.core.SideEffectDetected" in line
100
),
101
None,
102
103
if line_co:
- match = re.search(r"codeflash has detected: (.+).", line_co)
104
+ match = re.search(r"auditwall.core.SideEffectDetected: A (.+).", line_co)
105
if match:
106
msg = match.group(1)
107
raise SideEffectDetected(msg)
0 commit comments