Skip to content
Run Tests

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

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 #36

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

test.yml

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