Skip to content
Kani CI

Implement address-of-ZST as nondet integer #295

Sign in to view logs

Implement address-of-ZST as nondet integer

Implement address-of-ZST as nondet integer #295

Triggered via push April 25, 2024 10:25
@tautschnigtautschnig
pushed e098d8a
fix-3129
Status Failure
Total duration 6h 0m 27s
Artifacts –

kani.yml

on: push
write-json-symtab-regression
8m 49s
write-json-symtab-regression
benchcomp-tests
3m 13s
benchcomp-tests
perf
30m 38s
perf
documentation
1m 57s
documentation
Matrix: regression
Fit to window
Zoom out
Zoom in

Annotations

7 errors
write-json-symtab-regression
Process completed with exit code 1.
regression (ubuntu-22.04)
The job running on runner GitHub Actions 17 has exceeded the maximum execution time of 360 minutes.
regression (ubuntu-22.04)
The operation was canceled.
regression (ubuntu-20.04)
The job running on runner GitHub Actions 6 has exceeded the maximum execution time of 360 minutes.
regression (ubuntu-20.04)
The operation was canceled.
regression (macos-13)
The job running on runner GitHub Actions 11 has exceeded the maximum execution time of 360 minutes.
regression (macos-13)
The operation was canceled.