Skip to content
Build and Test

[FSM] Lower FSM to SMT dialect #33572

Sign in to view logs

[FSM] Lower FSM to SMT dialect

[FSM] Lower FSM to SMT dialect #33572

Triggered via pull request December 23, 2025 12:58
@luisacicoliniluisacicolini
synchronize #9379
luisacicolini:fsm-to-smt-assertions
Status Failure
Total duration 34s
Artifacts 1

buildAndTest.yml

on: pull_request
Sanity Check
30s
Sanity Check
Matrix: Build and Test
Fit to window
Zoom out
Zoom in

Annotations

1 error
Sanity Check
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
clang-format-patches
5.12 KB
sha256:67860b6a62a21cfcc16d62c7cf9952e024089b66d60f97545079bd8c293c926d