Build and run long ksmt tests #116
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 16s
Annotations
15 errors
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-0
|
145 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-1
|
87.3 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-10
|
120 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-11
|
103 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-12
|
108 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-13
|
87.4 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-14
|
87.1 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-15
|
86.9 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-16
|
88.4 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-17
|
87.3 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-18
|
146 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-19
|
193 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-2
|
103 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-20
|
132 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-21
|
127 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-22
|
167 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-23
|
105 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-3
|
131 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-4
|
102 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-5
|
106 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-6
|
114 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-7
|
127 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-8
|
157 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-9
|
106 KB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-0
|
80.5 KB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-1
|
116 KB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-10
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-11
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-12
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-13
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-14
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-15
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-16
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-17
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-18
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-19
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-2
|
89.5 KB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-20
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-21
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-22
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-23
|
484 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-3
|
104 KB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-4
|
95.5 KB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-5
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-6
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-7
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-8
|
484 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-9
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-0
|
575 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-1
|
809 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-10
|
89.2 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-11
|
83.3 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-12
|
97.8 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-13
|
87.7 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-14
|
87.6 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-15
|
87.1 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-16
|
88 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-17
|
87.5 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-18
|
138 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-19
|
176 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-2
|
518 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-20
|
112 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-21
|
100 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-22
|
135 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-23
|
104 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-3
|
114 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-4
|
427 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-5
|
767 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-6
|
409 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-7
|
93.3 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-8
|
108 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testSolver-9
|
81.2 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-0
|
149 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-1
|
87.1 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-10
|
120 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-11
|
104 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-12
|
110 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-13
|
88.8 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-14
|
88.5 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-15
|
87.7 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-16
|
89.5 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-17
|
88.2 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-18
|
164 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-19
|
183 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-2
|
102 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-20
|
126 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-21
|
133 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-22
|
178 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-23
|
107 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-3
|
134 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-4
|
102 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-5
|
106 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-6
|
114 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-7
|
128 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-8
|
159 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-9
|
106 KB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-0
|
81.5 KB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-1
|
117 KB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-10
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-11
|
484 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-12
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-13
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-14
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-15
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-16
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-17
|
484 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-18
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-19
|
484 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-2
|
90.5 KB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-20
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-21
|
484 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-22
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-23
|
486 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-3
|
105 KB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-4
|
95.2 KB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-5
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-6
|
484 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-7
|
486 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-8
|
484 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-9
|
486 Bytes |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-0
|
585 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-1
|
822 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-10
|
89.8 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-11
|
84.4 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-12
|
98.2 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.6 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-16
|
88.5 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-17
|
87.9 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-18
|
146 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-19
|
173 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-2
|
525 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-20
|
111 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-21
|
100 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-22
|
133 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-23
|
102 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-3
|
117 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-4
|
456 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-5
|
807 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-6
|
413 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-7
|
93.5 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-8
|
109 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testSolver-9
|
81.8 KB |
|