Skip to content
CI/CD

Implemented new context and let (#4) #37

Sign in to view logs

Implemented new context and let (#4)

Implemented new context and let (#4) #37

Triggered via push April 17, 2024 10:29
@laurenzlevilaurenzlevi
pushed 82d537e
new-architecture
Status Failure
Total duration 16m 29s
Artifacts –

ci.yml

on: push
Gradle Wrapper Validation
10s
Gradle Wrapper Validation
Detekt Analysis
2m 45s
Detekt Analysis
Spotless Style Check
2m 12s
Spotless Style Check
JUnit Tests
16m 5s
JUnit Tests
Fit to window
Zoom out
Zoom in

Annotations

1 error and 38 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/.
1 out of 2 runs failed: [136] /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: [714] /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: [754] /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: [946] /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: [1176] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_737.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: [1347] /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]
1 out of 2 runs failed: [1384] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_625.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: [1421] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1449.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: [1504] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1446.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: [1548] /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: [1570] /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] (and (Bool Bool Bool) Bool) (tools.aqua.konstraints.ContextTests) failed: tools.aqua.konstraints.ContextTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.ContextTests.xml [took 0s]
[2] (bvult ((_ BitVec 16) (_ BitVec 16)) Bool) (tools.aqua.konstraints.ContextTests) failed: tools.aqua.konstraints.ContextTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.ContextTests.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]
[68] /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/.
[1] (and (Bool Bool Bool) Bool) (tools.aqua.konstraints.ContextTests) failed: tools.aqua.konstraints.ContextTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.ContextTests.xml [took 0s]
[2] (bvult ((_ BitVec 16) (_ BitVec 16)) Bool) (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: [136] /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: [714] /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: [754] /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: [946] /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: [1122] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_776.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: [1176] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_737.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: [1232] /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: [1307] /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: [1347] /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]
1 out of 2 runs failed: [1384] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_625.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: [1421] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1449.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: [1504] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1446.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: [1548] /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: [1570] /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]
[31] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb01_1100.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0
build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 1m 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]
[68] /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]