Fixed sinknode detection #26
leventeBajcziAnnotations
2 errors
|
test-benchexec (utaipan)
The hosted runner encountered an error while running your job. (Error Type: Disconnect).
|
|
test-benchexec (infer)
The hosted runner encountered an error while running your job. (Error Type: Disconnect).
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ConcurrentWitness2Test
Expired
|
26.4 MB |
|
|
bubaak
Expired
|
7.89 KB |
|
|
cbmc
Expired
|
291 KB |
|
|
coveriteam-verifier-algo-selection
Expired
|
14.9 KB |
|
|
coveriteam-verifier-parallel-portfolio
Expired
|
297 KB |
|
|
cpa-lockator
Expired
|
85.2 KB |
|
|
cpachecker
Expired
|
271 KB |
|
|
cseq
Expired
|
649 KB |
|
|
dartagnan
Expired
|
427 KB |
|
|
deagle
Expired
|
555 KB |
|
|
divine
Expired
|
390 KB |
|
|
ebf
Expired
|
293 KB |
|
|
esbmc-incr
Expired
|
80.8 KB |
|
|
esbmc-kind
Expired
|
277 KB |
|
|
goblint
Expired
|
39.4 KB |
|
|
graves
Expired
|
271 KB |
|
|
graves-par
Expired
|
34.7 KB |
|
|
lazycseq
Expired
|
482 KB |
|
|
lf-checker
Expired
|
275 KB |
|
|
pesco
Expired
|
265 KB |
|
|
pichecker
Expired
|
279 KB |
|
|
symbiotic
Expired
|
122 KB |
|
|
theta
Expired
|
37.9 KB |
|
|
uautomizer
Expired
|
485 KB |
|
|
ugemcutter
Expired
|
445 KB |
|