Build and run long ksmt tests #107
Saloed
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
run-long-tests.yml
on: workflow_dispatch
Matrix: prepare_test_data
setup
4s
Matrix: run_tests
Merge chunked test reports into a single one
4m 14s
Annotations
4 errors
|
Run YicesBenchmarksBasedTest.testModelConversion[1] on windows-latest
Gradle build failed: see console output for details
|
|
Run SimplifierBenchmarksBasedTest.testSimplifier[20] on ubuntu-latest
Gradle build failed: see console output for details
|
|
Run YicesBenchmarksBasedTest.testModelConversion[3] on windows-latest
Gradle build failed: see console output for details
|
|
Run SimplifierBenchmarksBasedTest.testSimplifier[20] on windows-latest
Gradle build failed: see console output for details
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
ksmt-test-report
Expired
|
306 MB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-0
Expired
|
932 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-1
Expired
|
669 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-10
Expired
|
638 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-11
Expired
|
876 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-12
Expired
|
713 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-13
Expired
|
670 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-14
Expired
|
1.19 MB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-15
Expired
|
701 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-16
Expired
|
1.51 MB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-17
Expired
|
1.22 MB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-18
Expired
|
748 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-19
Expired
|
850 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-2
Expired
|
841 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-20
Expired
|
1020 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-3
Expired
|
801 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-4
Expired
|
576 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-5
Expired
|
661 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-6
Expired
|
673 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-7
Expired
|
821 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-8
Expired
|
568 KB |
|
|
ksmt-test-report-ubuntu-latest-SimplifierBenchmarksBasedTest.testSimplifier-9
Expired
|
588 KB |
|
|
ksmt-test-report-ubuntu-latest-YicesBenchmarksBasedTest.testModelConversion-0
Expired
|
1.03 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
|
323 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-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-0
Expired
|
1.88 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-1
Expired
|
1.88 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-10
Expired
|
1.49 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-11
Expired
|
1.25 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-12
Expired
|
1.32 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-13
Expired
|
1.36 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-14
Expired
|
1.35 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-15
Expired
|
1.2 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-16
Expired
|
1.74 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-17
Expired
|
1.69 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-18
Expired
|
1.37 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-19
Expired
|
1.66 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-2
Expired
|
1.92 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-20
Expired
|
1.21 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-3
Expired
|
1.83 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-4
Expired
|
658 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-5
Expired
|
1010 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-6
Expired
|
1.07 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-7
Expired
|
1.03 MB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-8
Expired
|
666 KB |
|
|
ksmt-test-report-ubuntu-latest-Z3BenchmarksBasedTest.testModelConversion-9
Expired
|
1.14 MB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-0
Expired
|
937 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-1
Expired
|
671 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-10
Expired
|
640 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-11
Expired
|
1.14 MB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-12
Expired
|
713 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-13
Expired
|
670 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-14
Expired
|
1.19 MB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-15
Expired
|
719 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-16
Expired
|
1.2 MB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-17
Expired
|
1.55 MB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-18
Expired
|
744 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-19
Expired
|
859 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-2
Expired
|
842 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-20
Expired
|
1020 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-3
Expired
|
1.54 MB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-4
Expired
|
576 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-5
Expired
|
660 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-6
Expired
|
675 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-7
Expired
|
843 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-8
Expired
|
568 KB |
|
|
ksmt-test-report-windows-latest-SimplifierBenchmarksBasedTest.testSimplifier-9
Expired
|
589 KB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-0
Expired
|
1.04 MB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-1
Expired
|
1.32 MB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-10
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-11
Expired
|
156 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.21 MB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-20
Expired
|
155 Bytes |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-3
Expired
|
1.44 MB |
|
|
ksmt-test-report-windows-latest-YicesBenchmarksBasedTest.testModelConversion-4
Expired
|
342 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 |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-0
Expired
|
1.88 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-1
Expired
|
1.87 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-10
Expired
|
1.51 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-11
Expired
|
1.26 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-12
Expired
|
1.32 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-13
Expired
|
1.36 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-14
Expired
|
1.36 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-15
Expired
|
1.22 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-16
Expired
|
1.6 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-17
Expired
|
1.85 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-18
Expired
|
1.38 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-19
Expired
|
1.69 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-2
Expired
|
1.93 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-20
Expired
|
1.22 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-3
Expired
|
1.85 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-4
Expired
|
663 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-5
Expired
|
1.01 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-6
Expired
|
1.09 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-7
Expired
|
1.04 MB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-8
Expired
|
673 KB |
|
|
ksmt-test-report-windows-latest-Z3BenchmarksBasedTest.testModelConversion-9
Expired
|
1.14 MB |
|