Skip to content
Kani CI

Update CBMC version to 5.95.1 #5583

Sign in to view logs

Update CBMC version to 5.95.1

Update CBMC version to 5.95.1 #5583

Triggered via pull request October 30, 2023 15:12
@adpaco-awsadpaco-aws
opened #2844
adpaco-aws:cbmc-5.95.1
Status Failure
Total duration 40m 45s
Artifacts –

kani.yml

on: pull_request
write-json-symtab-regression
23m 24s
write-json-symtab-regression
benchcomp-tests
5m 47s
benchcomp-tests
perf
40m 32s
perf
bookrunner
29m 34s
bookrunner
Matrix: regression
Fit to window
Zoom out
Zoom in

Annotations

3 errors
regression (macos-12)
Process completed with exit code 1.
regression (ubuntu-22.04)
The operation was canceled.
regression (ubuntu-20.04)
The operation was canceled.