Build and run long ksmt tests #121
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 24s
Annotations
1 error
|
Run Cvc5BenchmarksBasedTest.testSolver[22] on windows-latest
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ksmt-test-report
Expired
|
4.74 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-0
Expired
|
131 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-1
Expired
|
86.8 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-10
Expired
|
96.1 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-11
Expired
|
86.2 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-12
Expired
|
102 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-13
Expired
|
87.4 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-14
Expired
|
87.2 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-15
Expired
|
86.9 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-16
Expired
|
88.3 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-17
Expired
|
87.4 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-18
Expired
|
136 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-19
Expired
|
182 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-2
Expired
|
97.7 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-20
Expired
|
118 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-21
Expired
|
96.3 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-22
Expired
|
138 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-23
Expired
|
104 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-3
Expired
|
117 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-4
Expired
|
90.6 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-5
Expired
|
85 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-6
Expired
|
90.4 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-7
Expired
|
101 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-8
Expired
|
127 KB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testSolver-9
Expired
|
84.9 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-0
Expired
|
131 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-1
Expired
|
86.7 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-10
Expired
|
95.6 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-11
Expired
|
86.6 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-12
Expired
|
102 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-13
Expired
|
88.1 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-14
Expired
|
88.7 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-15
Expired
|
87.7 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-16
Expired
|
89.4 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-17
Expired
|
88.1 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-18
Expired
|
146 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-19
Expired
|
177 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-2
Expired
|
96.3 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-20
Expired
|
116 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-21
Expired
|
95.9 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-22
Expired
|
138 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-23
Expired
|
102 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-3
Expired
|
133 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-4
Expired
|
91 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-5
Expired
|
84.5 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-6
Expired
|
90.2 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-7
Expired
|
101 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-8
Expired
|
127 KB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testSolver-9
Expired
|
84.2 KB |
|