Update CBMC version check to 5.30.0 (#164)#166
Merged
avanhatt merged 1 commit intomodel-checking:main-152-2021-06-01from Jun 2, 2021
Merged
Update CBMC version check to 5.30.0 (#164)#166avanhatt merged 1 commit intomodel-checking:main-152-2021-06-01from
avanhatt merged 1 commit intomodel-checking:main-152-2021-06-01from
Commits
Commits on Jun 2, 2021
- committed
Alexa VanHattum