Skip to content
Linux build-test-deploy

Run after rebase to generalization #209

Sign in to view logs

Run after rebase to generalization

Run after rebase to generalization #209

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
6m 4s
deploy-docs
22s
deploy-maven
0s
test-docker (theta-cfa-cli)
5m 30s
test-docker (theta-sts-cli)
5m 24s
test-docker (theta-xsts-cli)
5m 39s
test-docker (theta-xta-cli)
5m 17s
test-docker (theta-xcfa-cli)
8m 0s
create-archives
5m 2s
test-linux (ubuntu-latest)
20s
javadoc
4m 35s
test-linux (ubuntu-22.04)
2m 29s
deploy-docker
0s
deploy-release
0s
test-benchexec (ReachSafety-Arrays, CEGAR)
2m 57s
test-benchexec (ReachSafety-Arrays, BOUNDED)
3m 54s
test-benchexec (ReachSafety-Arrays, HORN)
2m 56s
test-benchexec (ReachSafety-BitVectors, CEGAR)
2m 57s
test-benchexec (ReachSafety-BitVectors, BOUNDED)
2m 56s
test-benchexec (ReachSafety-BitVectors, HORN)
2m 56s
test-benchexec (ReachSafety-ControlFlow, CEGAR)
2m 8s
test-benchexec (ReachSafety-ControlFlow, BOUNDED)
2m 25s
test-benchexec (ReachSafety-ControlFlow, HORN)
2m 7s
test-benchexec (ReachSafety-ECA, CEGAR)
2m 49s
test-benchexec (ReachSafety-ECA, BOUNDED)
2m 8s
test-benchexec (ReachSafety-ECA, HORN)
2m 7s
test-benchexec (ReachSafety-Floats, CEGAR)
2m 7s
test-benchexec (ReachSafety-Floats, BOUNDED)
2m 23s
test-benchexec (ReachSafety-Floats, HORN)
2m 10s
test-benchexec (ReachSafety-Heap, CEGAR)
2m 4s
test-benchexec (ReachSafety-Heap, BOUNDED)
2m 7s
test-benchexec (ReachSafety-Heap, HORN)
2m 5s
test-benchexec (ReachSafety-Loops, CEGAR)
2m 32s
test-benchexec (ReachSafety-Loops, BOUNDED)
2m 5s
test-benchexec (ReachSafety-Loops, HORN)
2m 17s
test-benchexec (ReachSafety-ProductLines, CEGAR)
2m 9s
test-benchexec (ReachSafety-ProductLines, BOUNDED)
2m 31s
test-benchexec (ReachSafety-ProductLines, HORN)
2m 27s
test-benchexec (ReachSafety-Recursive, CEGAR)
2m 13s
test-benchexec (ReachSafety-Recursive, BOUNDED)
2m 28s
test-benchexec (ReachSafety-Recursive, HORN)
2m 27s
test-benchexec (ReachSafety-Sequentialized, CEGAR)
2m 9s
test-benchexec (ReachSafety-Sequentialized, BOUNDED)
2m 30s
test-benchexec (ReachSafety-Sequentialized, HORN)
2m 8s
test-benchexec (ReachSafety-XCSP, CEGAR)
2m 7s
test-benchexec (ReachSafety-XCSP, BOUNDED)
2m 27s
test-benchexec (ReachSafety-XCSP, HORN)
2m 8s
test-benchexec (ReachSafety-Combinations, CEGAR)
2m 9s
test-benchexec (ReachSafety-Combinations, BOUNDED)
2m 55s
test-benchexec (ReachSafety-Combinations, HORN)
3m 1s
test-benchexec (ReachSafety-Hardware, CEGAR)
2m 7s
test-benchexec (ReachSafety-Hardware, BOUNDED)
2m 12s
test-benchexec (ReachSafety-Hardware, HORN)
2m 39s
test-benchexec (ConcurrencySafety-Main, CEGAR)
2m 57s
test-benchexec (ConcurrencySafety-Main, BOUNDED)
2m 57s
test-benchexec (ConcurrencySafety-Main, HORN)
2m 57s
test-benchexec (NoDataRace-Main, CEGAR)
2m 58s
test-benchexec (NoDataRace-Main, BOUNDED)
2m 57s
test-benchexec (NoDataRace-Main, HORN)
3m 18s
test-benchexec (ConcurrencySafety-NoOverflows, CEGAR)
3m 0s
test-benchexec (ConcurrencySafety-NoOverflows, BOUNDED)
3m 2s
test-benchexec (ConcurrencySafety-NoOverflows, HORN)
2m 58s
test-benchexec (ConcurrencySafety-MemSafety, CEGAR)
2m 57s
test-benchexec (ConcurrencySafety-MemSafety, BOUNDED)
3m 0s
test-benchexec (ConcurrencySafety-MemSafety, HORN)
3m 39s
collect-results
1m 3s
3h 1m 22s