Skip to content
CI/CD

Changed Logic from enum class to interface #29

Sign in to view logs

Changed Logic from enum class to interface

Changed Logic from enum class to interface #29

Triggered via push March 25, 2024 12:26
@laurenzlevilaurenzlevi
pushed f4dd11f
new-architecture
Status Failure
Total duration 15m 4s
Billable time 21m
Artifacts –

ci.yml

on: push
Gradle Wrapper Validation
4s
Gradle Wrapper Validation
Detekt Analysis
2m 2s
Detekt Analysis
Spotless Style Check
2m 0s
Spotless Style Check
JUnit Tests
14m 44s
JUnit Tests
Fit to window
Zoom out
Zoom in

Annotations

1 error and 16 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/.
[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]
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]
[776] 776 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0
build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 10s]
[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/.