CI/CD

Context draft #30

Sign in to view logs

Triggered via push April 2, 2024 09:51

laurenzlevi

new-context

Status Failure

Total duration 9m 24s

Billable time 16m

Artifacts –

ci.yml

on: push

Gradle Wrapper Validation

Detekt Analysis

Spotless Style Check

Annotations

1 error and 47 warnings

JUnit Tests

Gradle build failed: see console output for details

Gradle Wrapper Validation

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: gradle/wrapper-validation-action@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Spotless Style Check

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: gradle/gradle-build-action@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Detekt Analysis

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: gradle/gradle-build-action@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

initializationError (tools.aqua.konstraints.ContextTests) failed: tools.aqua.konstraints.ContextTests#L0

build/test-results/test/TEST-tools.aqua.konstraints.ContextTests.xml [took 0s]

1 out of 2 runs failed: [274] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1323.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0

build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 5s]

1 out of 2 runs failed: [336] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1492.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0

build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 5s]

1 out of 2 runs failed: [523] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1490.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0

build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]

1 out of 2 runs failed: [550] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1400.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0

build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]

1 out of 2 runs failed: [920] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1299.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0

build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 5s]

1 out of 2 runs failed: [952] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_928.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0

build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]

1 out of 2 runs failed: [1147] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1458.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0

build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]

1 out of 2 runs failed: [1428] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_524.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0

build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]

1 out of 2 runs failed: [1480] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1127.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0

build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]

[13] (assert (forall (( x ( List Int )) ( y ( List Int ))) (= ( append x y ) ( ite (= x ( as nil ( List Int ))) y ( let (( h ( head x )) ( t ( tail x ))) ( insert h ( append t y ))))))) (tools.aqua.konstraints.ParserTests) failed: tools.aqua.konstraints.ParserTests#L0

build/test-results/test/TEST-tools.aqua.konstraints.ParserTests.xml [took 0s]

[2] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb08_888.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[7] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb10_800.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[18] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb05_700.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[20] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb05_800.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[22] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb04_850.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[24] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb07_330.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[26] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb04_950.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[28] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb02_800.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[29] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb07_250.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[30] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb08_830.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[33] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb03_850.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[34] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/abz6_800.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[39] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/yn2_750.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 2s]

[41] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb06_900.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[50] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb09_800.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[53] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/yn1_750.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 2s]

[54] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb10_900.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[56] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb08_700.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[57] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/abz7_500.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 1s]

[64] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/abz6_900.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[66] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb01_900.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[69] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/abz5_1200.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[70] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb03_950.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[76] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/abz5_1000.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[83] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb02_700.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[86] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb09_900.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[87] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/yn3_750.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 2s]

[1] /home/runner/work/konstraints/konstraints/build/resources/test/QF_IDL/Models/model01.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[1] /home/runner/work/konstraints/konstraints/build/resources/test/QF_AX/aqua/storecomm_invalid_t1_np_nf_ai_00010_001.cvc.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[776] 776 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 10s]

[2] /home/runner/work/konstraints/konstraints/build/resources/test/QF_FP/aqua/sat-04.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 0s]

[16] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/Models/bv-term-small-rw_1105.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0

build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 5s]

JUnit Tests

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: gradle/gradle-build-action@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.