Downloaded theta.xml #557
leventeBajczilinux-build-test-deploy.yml
on: push
Matrix: test-linux
Matrix: test-benchexec
Matrix: deploy-docker
collect-results
1m 24s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
BenchexecResults
Expired
|
136 MB |
|
|
BenchexecResults-ConcurrencySafety-Main
Expired
|
24.5 KB |
|
|
BenchexecResults-ConcurrencySafety-MemSafety
Expired
|
25.5 KB |
|
|
BenchexecResults-ConcurrencySafety-NoOverflows
Expired
|
30.8 KB |
|
|
BenchexecResults-NoDataRace-Main
Expired
|
11.8 KB |
|
|
BenchexecResults-ReachSafety-Arrays
Expired
|
20.7 KB |
|
|
BenchexecResults-ReachSafety-BitVectors
Expired
|
24.7 KB |
|
|
BenchexecResults-ReachSafety-Combinations
Expired
|
3.46 MB |
|
|
BenchexecResults-ReachSafety-ControlFlow
Expired
|
21.4 KB |
|
|
BenchexecResults-ReachSafety-ECA
Expired
|
2.82 MB |
|
|
BenchexecResults-ReachSafety-Floats
Expired
|
19.9 KB |
|
|
BenchexecResults-ReachSafety-Hardware
Expired
|
496 KB |
|
|
BenchexecResults-ReachSafety-Heap
Expired
|
21.4 KB |
|
|
BenchexecResults-ReachSafety-Loops
Expired
|
19.7 KB |
|
|
BenchexecResults-ReachSafety-Recursive
Expired
|
15.8 KB |
|
|
BenchexecResults-ReachSafety-Sequentialized
Expired
|
271 KB |
|
|
BenchexecResults-ReachSafety-XCSP
Expired
|
134 KB |
|
|
EmergenTheta_SV-COMP
Expired
|
210 MB |
|
|
ThetaJars
Expired
|
235 MB |
|
|
Theta_SV-COMP
Expired
|
210 MB |
|