Skip to content
SAWScript

Find SMT array write of a fixed size. #2742

Sign in to view logs

Find SMT array write of a fixed size.

Find SMT array write of a fixed size. #2742

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
6s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)
30m 52s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
21m 26s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
14m 53s
build (macos-12, 3.10.1.0, 8.10.7, true)
43m 0s
build (macos-12, 3.10.1.0, 9.2.7, true)
27m 51s
build (macos-12, 3.10.1.0, 9.4.4, true)
17m 23s
build (windows-2019, 3.10.1.0, 8.10.7, true)
41m 14s
build (windows-2019, 3.10.1.0, 9.2.7, true)
22m 37s
build (windows-2019, 3.10.1.0, 9.4.4, true)
16m 8s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
30m 24s
mr-solver-tests (ubuntu-22.04)
55s
mr-solver-tests (macos-12)
55s
heapster-tests (ubuntu-22.04)
2h 29m 4s
heapster-tests (macos-12)
2h 23m 11s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 49s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
2m 8s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
41s
Test s2n proofs (hmac, 8.10.7)
8m 41s
Test s2n proofs (drbg, 8.10.7)
4m 49s
Test s2n proofs (sike, 8.10.7)
6m 16s
Test s2n proofs (bike, 8.10.7)
10m 0s
Test s2n proofs (tls, 8.10.7)
10m 19s
Test s2n proofs (hmac-failure, 8.10.7)
6m 2s
Test s2n proofs (awslc, 8.10.7)
1h 43m 24s
Test s2n proofs (blst, 8.10.7)
20m 2s
cabal-test (integration_tests, ubuntu-22.04, false)
14m 22s
cabal-test (test-sawcore, ubuntu-22.04, false)
1m 6s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
43s
cabal-test (prover_tests, ubuntu-22.04, false)
34s
cabal-test (integration_tests, macos-12, true)
19m 49s
cabal-test (integration_tests, windows-2019, true, 60)
18m 35s
Test SAW exercises (8.10.7)
3m 18s
mergify
0s
13h 12m 37s