Add case_exprt to std_expr.h and refactor code to use it #7364
Triggered via pull request
November 26, 2025 16:37
tautschnig
Status
Success
Total duration
49m 39s
Artifacts
–