Update to CBMC 6.3.1 and fix auto-update script #376
Triggered via pull request
September 23, 2024 13:28
tautschnig
Status
Success
Total duration
1m 13s
Artifacts
–