Skip to content
Build and run long ksmt tests

Build and run long ksmt tests #118

Sign in to view logs

Build and run long ksmt tests

Build and run long ksmt tests #118

Manually triggered October 18, 2024 08:38
@SaloedSaloed
⁠ 42561be
theories
Status Success
Total duration 1h 13m 55s
Artifacts 49

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 8s
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
806 KB
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-0 Expired
80.7 KB
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-1 Expired
116 KB
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-10 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-11 Expired
486 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-12 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-13 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-14 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-15 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-16 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-17 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-18 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-19 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-2 Expired
89.1 KB
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-20 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-21 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-22 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-23 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-3 Expired
104 KB
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-4 Expired
84.2 KB
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-5 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-6 Expired
486 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-7 Expired
485 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-8 Expired
486 Bytes
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testSolver-9 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-0 Expired
81.5 KB
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-1 Expired
117 KB
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-10 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-11 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-12 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-13 Expired
486 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-14 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-15 Expired
486 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-16 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-17 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-18 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-19 Expired
486 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-2 Expired
90.2 KB
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-20 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-21 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-22 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-23 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-3 Expired
105 KB
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-4 Expired
84.6 KB
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-5 Expired
486 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-6 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-7 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-8 Expired
485 Bytes
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testSolver-9 Expired
485 Bytes