Build and run long ksmt tests #118
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 8s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ksmt-test-report
|
806 KB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-0
|
80.7 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
|
486 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.1 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
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-3
|
104 KB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-4
|
84.2 KB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-5
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-6
|
486 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-7
|
485 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-8
|
486 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-9
|
485 Bytes |
|
|
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
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-12
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-13
|
486 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-14
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-15
|
486 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-16
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-17
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-18
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-19
|
486 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-2
|
90.2 KB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-20
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-21
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-22
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-23
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-3
|
105 KB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-4
|
84.6 KB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-5
|
486 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-6
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-7
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-8
|
485 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-9
|
485 Bytes |
|