Skip to content
Build and run long ksmt tests

Build and run long ksmt tests #112

Sign in to view logs

Build and run long ksmt tests

Build and run long ksmt tests #112

Manually triggered January 30, 2024 07:55
@SaloedSaloed
⁠ 78f1278
z3-4.12.4
Status Success
Total duration 50m 20s
Artifacts 43

run-long-tests.yml

on: workflow_dispatch
Matrix: prepare_test_data
setup
0s
setup
Matrix: run_tests
Merge chunked test reports into a single one
2m 26s
Merge chunked test reports into a single one
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
ksmt-test-report Expired
4.44 MB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-0 Expired
134 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-1 Expired
97.2 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-10 Expired
110 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-11 Expired
101 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-12 Expired
101 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-13 Expired
101 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-14 Expired
102 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-15 Expired
103 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-16 Expired
175 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-17 Expired
178 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-18 Expired
109 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-19 Expired
138 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-2 Expired
118 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-20 Expired
126 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-3 Expired
124 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-4 Expired
94.5 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-5 Expired
101 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-6 Expired
105 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-7 Expired
121 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-8 Expired
93.5 KB
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-9 Expired
102 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-0 Expired
134 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-1 Expired
96.8 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-10 Expired
110 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-11 Expired
101 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-12 Expired
101 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-13 Expired
101 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-14 Expired
102 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-15 Expired
103 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-16 Expired
188 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-17 Expired
167 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-18 Expired
111 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-19 Expired
136 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-2 Expired
118 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-20 Expired
123 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-3 Expired
125 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-4 Expired
94.4 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-5 Expired
101 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-6 Expired
105 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-7 Expired
122 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-8 Expired
93.2 KB
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-9 Expired
103 KB