Skip to content
Test

feat: cache unsat queries using unsat core #714

Sign in to view logs

feat: cache unsat queries using unsat core

feat: cache unsat queries using unsat core #714

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (macos-latest, 3.9, solidity)
16s
test (macos-latest, 3.9, solidity, --cache-solver)
18s
test (macos-latest, 3.9, generic)
16s
test (macos-latest, 3.9, generic, --cache-solver)
16s
test (macos-latest, 3.9, --test-parallel, solidity)
22s
test (macos-latest, 3.9, --test-parallel, solidity, --cache-solver)
17s
test (macos-latest, 3.9, --test-parallel, generic)
15s
test (macos-latest, 3.9, --test-parallel, generic, --cache-solver)
16s
test (macos-latest, 3.10, solidity)
16s
test (macos-latest, 3.10, solidity, --cache-solver)
16s
test (macos-latest, 3.10, generic)
17s
test (macos-latest, 3.10, generic, --cache-solver)
15s
test (macos-latest, 3.10, --test-parallel, solidity)
16s
test (macos-latest, 3.10, --test-parallel, solidity, --cache-solver)
15s
test (macos-latest, 3.10, --test-parallel, generic)
15s
test (macos-latest, 3.10, --test-parallel, generic, --cache-solver)
16s
test (macos-latest, 3.11, solidity)
23s
test (macos-latest, 3.11, solidity, --cache-solver)
15s
test (macos-latest, 3.11, generic)
15s
test (macos-latest, 3.11, generic, --cache-solver)
19s
test (macos-latest, 3.11, --test-parallel, solidity)
15s
test (macos-latest, 3.11, --test-parallel, solidity, --cache-solver)
15s
test (macos-latest, 3.11, --test-parallel, generic)
16s
test (macos-latest, 3.11, --test-parallel, generic, --cache-solver)
15s
test (macos-latest, 3.12, solidity)
18s
test (macos-latest, 3.12, solidity, --cache-solver)
18s
test (macos-latest, 3.12, generic)
16s
test (macos-latest, 3.12, generic, --cache-solver)
16s
test (macos-latest, 3.12, --test-parallel, solidity)
18s
test (macos-latest, 3.12, --test-parallel, solidity, --cache-solver)
16s
test (macos-latest, 3.12, --test-parallel, generic)
16s
test (macos-latest, 3.12, --test-parallel, generic, --cache-solver)
16s
test (ubuntu-latest, 3.9, solidity)
25s
test (ubuntu-latest, 3.9, solidity, --cache-solver)
19s
test (ubuntu-latest, 3.9, generic)
19s
test (ubuntu-latest, 3.9, generic, --cache-solver)
18s
test (ubuntu-latest, 3.9, --test-parallel, solidity)
19s
test (ubuntu-latest, 3.9, --test-parallel, solidity, --cache-solver)
22s
test (ubuntu-latest, 3.9, --test-parallel, generic)
19s
test (ubuntu-latest, 3.9, --test-parallel, generic, --cache-solver)
18s
test (ubuntu-latest, 3.10, solidity)
15s
test (ubuntu-latest, 3.10, solidity, --cache-solver)
16s
test (ubuntu-latest, 3.10, generic)
20s
test (ubuntu-latest, 3.10, generic, --cache-solver)
18s
test (ubuntu-latest, 3.10, --test-parallel, solidity)
18s
test (ubuntu-latest, 3.10, --test-parallel, solidity, --cache-solver)
22s
test (ubuntu-latest, 3.10, --test-parallel, generic)
23s
test (ubuntu-latest, 3.10, --test-parallel, generic, --cache-solver)
18s
test (ubuntu-latest, 3.11, solidity)
14s
test (ubuntu-latest, 3.11, solidity, --cache-solver)
14s
test (ubuntu-latest, 3.11, generic)
17s
test (ubuntu-latest, 3.11, generic, --cache-solver)
17s
test (ubuntu-latest, 3.11, --test-parallel, solidity)
17s
test (ubuntu-latest, 3.11, --test-parallel, solidity, --cache-solver)
16s
test (ubuntu-latest, 3.11, --test-parallel, generic)
23s
test (ubuntu-latest, 3.11, --test-parallel, generic, --cache-solver)
14s
test (ubuntu-latest, 3.12, solidity)
15s
test (ubuntu-latest, 3.12, solidity, --cache-solver)
22s
test (ubuntu-latest, 3.12, generic)
23s
test (ubuntu-latest, 3.12, generic, --cache-solver)
18s
test (ubuntu-latest, 3.12, --test-parallel, solidity)
25s
test (ubuntu-latest, 3.12, --test-parallel, solidity, --cache-solver)
16s
test (ubuntu-latest, 3.12, --test-parallel, generic)
19s
test (ubuntu-latest, 3.12, --test-parallel, generic, --cache-solver)
20s
test (windows-latest, 3.9, solidity)
42s
test (windows-latest, 3.9, solidity, --cache-solver)
53s
test (windows-latest, 3.9, generic)
45s
test (windows-latest, 3.9, generic, --cache-solver)
41s
test (windows-latest, 3.9, --test-parallel, solidity)
52s
test (windows-latest, 3.9, --test-parallel, solidity, --cache-solver)
53s
test (windows-latest, 3.9, --test-parallel, generic)
52s
test (windows-latest, 3.9, --test-parallel, generic, --cache-solver)
47s
test (windows-latest, 3.10, solidity)
54s
test (windows-latest, 3.10, solidity, --cache-solver)
37s
test (windows-latest, 3.10, generic)
49s
test (windows-latest, 3.10, generic, --cache-solver)
49s
test (windows-latest, 3.10, --test-parallel, solidity)
50s
test (windows-latest, 3.10, --test-parallel, solidity, --cache-solver)
50s
test (windows-latest, 3.10, --test-parallel, generic)
50s
test (windows-latest, 3.10, --test-parallel, generic, --cache-solver)
53s
test (windows-latest, 3.11, solidity)
51s
test (windows-latest, 3.11, solidity, --cache-solver)
48s
test (windows-latest, 3.11, generic)
52s
test (windows-latest, 3.11, generic, --cache-solver)
50s
test (windows-latest, 3.11, --test-parallel, solidity)
39s
test (windows-latest, 3.11, --test-parallel, solidity, --cache-solver)
39s
test (windows-latest, 3.11, --test-parallel, generic)
37s
test (windows-latest, 3.11, --test-parallel, generic, --cache-solver)
40s
test (windows-latest, 3.12, solidity)
39s
test (windows-latest, 3.12, solidity, --cache-solver)
48s
test (windows-latest, 3.12, generic)
40s
test (windows-latest, 3.12, generic, --cache-solver)
47s
test (windows-latest, 3.12, --test-parallel, solidity)
54s
test (windows-latest, 3.12, --test-parallel, solidity, --cache-solver)
53s
test (windows-latest, 3.12, --test-parallel, generic)
54s
test (windows-latest, 3.12, --test-parallel, generic, --cache-solver)
53s
44m 9s