Skip to content

Update CBMC version check to 5.30.0 (#164)#166

Merged
avanhatt merged 1 commit into
model-checking:main-152-2021-06-01from
avanhatt:cbmc-version
Jun 2, 2021
Merged

Update CBMC version check to 5.30.0 (#164)#166
avanhatt merged 1 commit into
model-checking:main-152-2021-06-01from
avanhatt:cbmc-version

Update CMBC version check to 5.30.0. Print expected version in warnin…

6bbbff0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs