issues
search
GillianPlatform
/
Gillian
The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
73
stars
11
forks
source link
Warn & document mismatching CBMC version
#308
Closed
NatKarmios
closed
1 month ago
NatKarmios
commented
1 month ago
Add file
kanillian/CBMC_VERSION
with the expected version of CBMC
Document the expected version in Sphinx docs
Print a warning if the found CBMC version doesn't match the expected
kanillian/CBMC_VERSIONwith the expected version of CBMC