Do not define project(CBMC ...) twice to fix CMake failures #188
Triggered via pull request
September 3, 2024 10:13
tautschnig
Status
Success
Total duration
39m 52s
Artifacts
–