Skip to content
Run Tests

feat: enhance Halmos log processing to correctly handle counterexamples and improve property extraction #35

Sign in to view logs

feat: enhance Halmos log processing to correctly handle counterexamples and improve property extraction

feat: enhance Halmos log processing to correctly handle counterexamples and improve property extraction #35

Triggered via pull request August 14, 2025 11:47
@burnerx47burnerx47
opened #56
burnerx47:add-halmos-logs-processing
Status Success
Total duration 32s
Artifacts –

test.yml

on: pull_request
test
27s
test
Fit to window
Zoom out
Zoom in