Skip to content
Build and run long ksmt tests

Build and run long ksmt tests #8

Sign in to view logs

Build and run long ksmt tests

Build and run long ksmt tests #8

Manually triggered October 23, 2023 14:01
@dee-treedee-tree
⁠ 9785cfa
bitwuzla-update-0_2_0
Status Cancelled
Total duration 6h 22m 21s
Artifacts 48

run-long-tests.yml

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

Annotations

141 errors and 41 warnings
Run KBitwuzlaBenchmarksBasedTest.testConverter[9] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[6] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[14] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[16] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[15] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[12] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[15] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[14] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[3] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[12] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[10] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[8] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[16] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[10] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[9] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[7] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[2] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[7] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[6] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[15] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[11] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[14] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[1] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[12] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[10] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[3] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[9] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[13] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[5] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[4] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[1] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[11] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[2] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[5] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testSolver[8] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[13] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[4] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[11] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[1] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[7] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[5] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[16] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[3] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[13] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[4] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[8] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[6] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testConverter[2] on ubuntu-latest
Gradle build failed: see console output for details
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[11] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[1] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[3] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[2] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[12] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[14] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[6] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[4] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[0] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[7] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[5] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[15] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[8] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[16] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[1] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[1] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[0] on ubuntu-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[0] on ubuntu-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[0] on ubuntu-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[0] on ubuntu-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[6] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[6] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testConverter[13] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[13] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testConverter[0] on ubuntu-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[0] on ubuntu-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[13] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[13] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[9] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[9] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[8] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[8] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[7] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[7] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[0] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[0] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testConverter[10] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[10] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[2] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[2] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[4] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[4] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[3] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[3] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testConverter[9] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[9] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[1] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[1] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[0] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[0] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testConverter[16] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[16] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[10] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[10] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[8] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[8] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[5] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[5] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[3] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[3] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[2] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[2] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[10] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[10] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[12] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[12] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[11] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[11] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[9] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[9] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testConverter[11] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[11] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testConverter[15] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[15] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[5] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[5] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[7] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[7] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[4] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[4] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testConverter[12] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[12] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[14] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[14] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[6] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[6] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[16] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[16] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[13] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testSolver[13] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testConverter[14] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testConverter[14] on windows-latest
The operation was canceled.
Run KBitwuzlaBenchmarksBasedTest.testSolver[15] on windows-latest
The run was canceled by @dee-tree.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[1] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.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 KBitwuzlaBenchmarksBasedTest.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 KBitwuzlaBenchmarksBasedTest.testModelConversion[6] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testConverter[13] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.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 KBitwuzlaBenchmarksBasedTest.testModelConversion[13] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[9] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[8] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[7] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.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 KBitwuzlaBenchmarksBasedTest.testConverter[10] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[2] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[4] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[3] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testConverter[9] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[1] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[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 KBitwuzlaBenchmarksBasedTest.testConverter[16] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[10] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[8] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[5] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testModelConversion[3] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[2] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[10] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[12] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[11] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.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.
Run KBitwuzlaBenchmarksBasedTest.testConverter[11] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testConverter[15] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[5] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[7] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[4] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testConverter[12] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[14] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[6] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[16] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[13] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testConverter[14] on windows-latest
No files were found with the provided path: ksmt-test/build/test-results/test/binary. No artifacts will be uploaded.
Run KBitwuzlaBenchmarksBasedTest.testSolver[15] on windows-latest
Runner GitHub Actions 19 did not respond to a cancelation request with 00:05:00.
Merge chunked test reports into a single one
No files were found with the provided path: ksmt-test-report-*. No artifacts will be uploaded.

Artifacts

Produced during runtime
Name Size
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-1 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-10 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-11 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-12 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-13 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-14 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-15 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-16 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-2 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-3 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-4 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-5 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-6 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-7 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-8 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testConverter-9 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-1 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-10 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-11 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-12 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-13 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-14 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-15 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-16 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-2 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-3 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-4 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-5 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-6 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-7 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-8 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testModelConversion-9 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-1 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-10 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-11 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-12 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-13 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-14 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-15 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-16 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-2 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-3 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-4 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-5 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-6 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-7 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-8 Expired
1 Byte
ksmt-test-report-ubuntu-latest-KBitwuzlaBenchmarksBasedTest.testSolver-9 Expired
1 Byte