Build and run long ksmt tests #117
Saloedrun-long-tests.yml
on: workflow_dispatch
Matrix: prepare_test_data
setup
0s
Matrix: run_tests
Merge chunked test reports into a single one
2m 46s
Annotations
8 errors
|
Run Z3BenchmarksBasedTest.testSolver[4] on ubuntu-latest
Process completed with exit code 1.
|
|
Run Z3BenchmarksBasedTest.testSolver[6] on ubuntu-latest
Process completed with exit code 1.
|
|
Run Z3BenchmarksBasedTest.testSolver[2] on ubuntu-latest
Process completed with exit code 1.
|
|
Run Z3BenchmarksBasedTest.testSolver[5] on ubuntu-latest
Process completed with exit code 1.
|
|
Run Z3BenchmarksBasedTest.testSolver[4] on windows-latest
Process completed with exit code 1.
|
|
Run Z3BenchmarksBasedTest.testSolver[5] on windows-latest
Process completed with exit code 1.
|
|
Run Z3BenchmarksBasedTest.testSolver[2] on windows-latest
Process completed with exit code 1.
|
|
Run Z3BenchmarksBasedTest.testSolver[6] on windows-latest
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ksmt-test-report
|
7.29 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-0
|
119 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-1
|
83.8 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-10
|
89.3 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-11
|
83.3 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-12
|
97.7 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-13
|
87.9 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-14
|
87.5 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-15
|
86.7 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-16
|
88 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-17
|
87.1 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-18
|
139 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-19
|
176 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-2
|
97 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-20
|
112 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-21
|
92 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-22
|
131 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-23
|
101 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-3
|
115 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-4
|
430 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-5
|
767 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-6
|
407 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-7
|
93 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-8
|
108 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-9
|
81.3 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-0
|
120 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-1
|
84.3 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-10
|
89.7 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-11
|
84.3 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-12
|
98.1 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-13
|
88.1 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-14
|
88 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-15
|
87 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-16
|
88.8 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-17
|
87.7 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-18
|
146 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-19
|
172 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-2
|
96.5 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-20
|
111 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-21
|
91.2 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-22
|
136 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-23
|
101 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-3
|
116 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-4
|
450 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-5
|
803 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-6
|
419 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-7
|
93.4 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-8
|
109 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-9
|
81.6 KB |
|