Skip to content
Build and run long ksmt tests

Build and run long ksmt tests #9

Sign in to view logs

Build and run long ksmt tests

Build and run long ksmt tests #9

Re-run triggered October 24, 2023 19:45
@dee-treedee-tree
⁠ 9785cfa
bitwuzla-update-0_2_0
Status Cancelled
Total duration 1h 18m 17s
Artifacts 65

run-long-tests.yml

on: workflow_dispatch
Matrix: prepare_test_data
setup
4s
setup
Matrix: run_tests
Merge chunked test reports into a single one
1m 58s
Merge chunked test reports into a single one
Fit to window
Zoom out
Zoom in

Annotations

118 errors and 5 warnings
Run BitwuzlaBenchmarksBasedTest.testSolver[4] on windows-latest
Gradle build failed: see console output for details
Run BitwuzlaBenchmarksBasedTest.testSolver[1] on windows-latest
Gradle build failed: see console output for details
Run BitwuzlaBenchmarksBasedTest.testSolver[2] on windows-latest
Gradle build failed: see console output for details
Run BitwuzlaBenchmarksBasedTest.testSolver[7] on windows-latest
Gradle build failed: see console output for details
Run BitwuzlaBenchmarksBasedTest.testSolver[12] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[3] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[10] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[2] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[11] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[14] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[13] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[16] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[1] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[0] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[15] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[3] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[4] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[2] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[4] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[1] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[7] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[5] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[6] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[5] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[6] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[7] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[12] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[11] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[10] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[8] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[9] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[8] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[0] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[14] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[15] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[13] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[16] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[10] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[10] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[0] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[0] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[2] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[2] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[5] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[5] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testConverter[5] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[5] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[8] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[8] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testConverter[2] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[2] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testConverter[0] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[0] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testConverter[10] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[10] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[7] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[7] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[2] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[2] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testConverter[7] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[7] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[3] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[3] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[4] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[4] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testConverter[6] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[6] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[4] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[4] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testConverter[8] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[8] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testConverter[3] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[3] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[9] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[9] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[0] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[0] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[9] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[9] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[6] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[6] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[8] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[8] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[3] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[3] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[7] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[7] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[1] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[1] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[6] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[6] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[9] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[9] on windows-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[5] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[5] on windows-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[10] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[10] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[5] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[5] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[1] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[1] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[6] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[6] on windows-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testConverter[10] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[10] on windows-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testConverter[9] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[9] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testConverter[4] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[8] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[4] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[8] on windows-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testConverter[1] on ubuntu-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[1] on ubuntu-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testConverter[9] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testConverter[9] on windows-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[3] on windows-latest
The run was canceled by @dee-tree.
Run BitwuzlaBenchmarksBasedTest.testSolver[3] on windows-latest
Gradle build failed: see console output for details
Run BitwuzlaBenchmarksBasedTest.testSolver[3] on windows-latest
The operation was canceled.
Run BitwuzlaBenchmarksBasedTest.testSolver[0] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run BitwuzlaBenchmarksBasedTest.testSolver[0] on ubuntu-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run BitwuzlaBenchmarksBasedTest.testConverter[0] on ubuntu-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run BitwuzlaBenchmarksBasedTest.testModelConversion[0] on ubuntu-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run BitwuzlaBenchmarksBasedTest.testSolver[9] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.

Artifacts

Produced during runtime
Name Size
ksmt-test-report Expired
141 MB
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-1 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-10 Expired
120 KB
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-11 Expired
155 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-12 Expired
155 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-13 Expired
155 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-14 Expired
155 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-15 Expired
155 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-16 Expired
155 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-2 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-3 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-4 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-5 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-6 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-7 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-8 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testConverter-9 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-1 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-10 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-11 Expired
161 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-12 Expired
161 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-13 Expired
161 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-14 Expired
161 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-15 Expired
161 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-16 Expired
161 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-2 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-3 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-4 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-5 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-6 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-7 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-8 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-9 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-1 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-10 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-11 Expired
152 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-12 Expired
152 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-13 Expired
152 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-14 Expired
152 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-15 Expired
152 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-16 Expired
152 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-2 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-3 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-4 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-5 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-6 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-7 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-8 Expired
0 Bytes
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testSolver-9 Expired
0 Bytes
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testConverter-10 Expired
80 KB
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testConverter-11 Expired
155 Bytes
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testConverter-12 Expired
155 Bytes
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testConverter-13 Expired
155 Bytes
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testConverter-14 Expired
155 Bytes
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testConverter-15 Expired
155 Bytes
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testConverter-16 Expired
155 Bytes
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testConverter-9 Expired
0 Bytes
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testSolver-1 Expired
24.9 MB
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testSolver-2 Expired
1.6 MB
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testSolver-3 Expired
31.7 KB
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testSolver-4 Expired
21.3 MB
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testSolver-5 Expired
36 KB
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testSolver-6 Expired
92 KB
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testSolver-7 Expired
82.1 MB
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testSolver-8 Expired
0 Bytes