Interprocedural verification enhancement #537
s0marklinux-build-test-deploy.yml
on: pull_request
Matrix: test-linux
Matrix: test-benchexec
Matrix: deploy-docker
collect-results
1m 6s
Annotations
1 error and 1 notice
|
collect-results
The deploy step encountered an error: The process '/usr/bin/git' failed with exit code 128 ❌
|
|
collect-results
Deployment failed! ❌
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
BenchexecResults
Expired
|
18.4 MB |
|
|
BenchexecResults-ConcurrencySafety-Main
Expired
|
12.1 KB |
|
|
BenchexecResults-ConcurrencySafety-MemSafety
Expired
|
12.2 KB |
|
|
BenchexecResults-ConcurrencySafety-NoOverflows
Expired
|
11.6 KB |
|
|
BenchexecResults-NoDataRace-Main
Expired
|
11.6 KB |
|
|
BenchexecResults-ReachSafety-Arrays
Expired
|
11.5 KB |
|
|
BenchexecResults-ReachSafety-BitVectors
Expired
|
12.8 KB |
|
|
BenchexecResults-ReachSafety-Combinations
Expired
|
12.3 KB |
|
|
BenchexecResults-ReachSafety-ControlFlow
Expired
|
13.2 KB |
|
|
BenchexecResults-ReachSafety-ECA
Expired
|
10.7 KB |
|
|
BenchexecResults-ReachSafety-Floats
Expired
|
13.1 KB |
|
|
BenchexecResults-ReachSafety-Hardware
Expired
|
12.7 KB |
|
|
BenchexecResults-ReachSafety-Heap
Expired
|
19.8 KB |
|
|
BenchexecResults-ReachSafety-Loops
Expired
|
12.4 KB |
|
|
BenchexecResults-ReachSafety-Recursive
Expired
|
10.6 KB |
|
|
BenchexecResults-ReachSafety-Sequentialized
Expired
|
12.5 KB |
|
|
BenchexecResults-ReachSafety-XCSP
Expired
|
11.3 KB |
|
|
EmergenTheta_SV-COMP
Expired
|
209 MB |
|
|
ThetaJars
Expired
|
302 MB |
|
|
Theta_SV-COMP
Expired
|
209 MB |
|