Add case_exprt to std_expr.h and refactor code to use it #3577
Triggered via pull request
November 30, 2025 22:32
tautschnig
Status
Failure
Total duration
31m 35s
Artifacts
–
syntax-checks.yaml
on: pull_request
check-clang-format
1m 35s
check-cpplint
1m 35s
check-rustfmt
11s
Annotations
1 error
|
check-cpplint
Process completed with exit code 1.
|