Do not define project(CBMC ...) twice to fix CMake failures #184
Triggered via pull request
September 3, 2024 09:46
tautschnig
Status
Success
Total duration
40m 36s
Artifacts
–