Build and run long ksmt tests #108
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 28s
Annotations
2 errors and 1 warning
|
Run BitwuzlaBenchmarksBasedTest.testModelConversion[1] on ubuntu-latest
Gradle build failed: see console output for details
|
|
Run BitwuzlaBenchmarksBasedTest.testModelConversion[1] on windows-latest
Gradle build failed: see console output for details
|
|
Run BitwuzlaBenchmarksBasedTest.testModelConversion[11] on windows-latest
Failed to restore: The operation cannot be completed in timeout.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ksmt-test-report
Expired
|
336 MB |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-0
Expired
|
161 Bytes |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-1
Expired
|
659 KB |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-10
Expired
|
1.31 MB |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-11
Expired
|
1.39 MB |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-12
Expired
|
1.29 MB |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-13
Expired
|
338 KB |
|
|
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-17
Expired
|
161 Bytes |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-18
Expired
|
161 Bytes |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-19
Expired
|
161 Bytes |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-2
Expired
|
956 KB |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-20
Expired
|
161 Bytes |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-3
Expired
|
1.04 MB |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-4
Expired
|
977 KB |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-5
Expired
|
668 KB |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-6
Expired
|
1.18 MB |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-7
Expired
|
1.54 MB |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-8
Expired
|
1.29 MB |
|
|
ksmt-test-report-ubuntu-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-9
Expired
|
1.28 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-0
Expired
|
1.88 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-1
Expired
|
1.85 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-10
Expired
|
1.61 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-11
Expired
|
1.24 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-12
Expired
|
1.27 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-13
Expired
|
1.33 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-14
Expired
|
1.36 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-15
Expired
|
1.24 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-16
Expired
|
2.02 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-17
Expired
|
1.78 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-18
Expired
|
1.62 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-19
Expired
|
1.78 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-2
Expired
|
1.94 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-20
Expired
|
1.14 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-3
Expired
|
1.84 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-4
Expired
|
1.04 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-5
Expired
|
1.29 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-6
Expired
|
1.62 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-7
Expired
|
1.74 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-8
Expired
|
1.03 MB |
|
|
ksmt-test-report-ubuntu-latest-Cvc5BenchmarksBasedTest.testModelConversion-9
Expired
|
1.4 MB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-0
Expired
|
1.02 MB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-1
Expired
|
1.26 MB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-10
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-11
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-12
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-13
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-14
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-15
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-16
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-17
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-18
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-19
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-2
Expired
|
1.2 MB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-20
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-3
Expired
|
1.4 MB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-4
Expired
|
318 KB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-5
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-6
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-7
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-8
Expired
|
155 Bytes |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-9
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-0
Expired
|
161 Bytes |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-1
Expired
|
669 KB |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-10
Expired
|
1.31 MB |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-11
Expired
|
1.38 MB |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-12
Expired
|
1.28 MB |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-13
Expired
|
348 KB |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-14
Expired
|
161 Bytes |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-15
Expired
|
161 Bytes |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-16
Expired
|
161 Bytes |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-17
Expired
|
161 Bytes |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-18
Expired
|
161 Bytes |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-19
Expired
|
161 Bytes |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-2
Expired
|
959 KB |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-20
Expired
|
161 Bytes |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-3
Expired
|
1.05 MB |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-4
Expired
|
981 KB |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-5
Expired
|
670 KB |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-6
Expired
|
1.19 MB |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-7
Expired
|
1.54 MB |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-8
Expired
|
1.29 MB |
|
|
ksmt-test-report-windows-latest-BitwuzlaBenchmarksBasedTest.testModelConversion-9
Expired
|
1.29 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-0
Expired
|
1.89 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-1
Expired
|
1.85 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-10
Expired
|
1.63 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-11
Expired
|
1.25 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-12
Expired
|
1.28 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-13
Expired
|
1.34 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-14
Expired
|
1.36 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-15
Expired
|
1.25 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-16
Expired
|
1.9 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-17
Expired
|
1.99 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-18
Expired
|
1.6 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-19
Expired
|
1.78 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-2
Expired
|
1.95 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-20
Expired
|
1.14 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-3
Expired
|
1.84 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-4
Expired
|
1.04 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-5
Expired
|
1.3 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-6
Expired
|
1.62 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-7
Expired
|
1.74 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-8
Expired
|
1.03 MB |
|
|
ksmt-test-report-windows-latest-Cvc5BenchmarksBasedTest.testModelConversion-9
Expired
|
1.41 MB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-0
Expired
|
1.03 MB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-1
Expired
|
1.26 MB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-10
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-11
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-12
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-13
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-14
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-15
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-16
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-17
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-18
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-19
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-2
Expired
|
1.2 MB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-20
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-3
Expired
|
1.38 MB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-4
Expired
|
337 KB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-5
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-6
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-7
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-8
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-9
Expired
|
155 Bytes |
|