Skip to content

Make sure bip constructor is only generated for the non-statics class #1641

Make sure bip constructor is only generated for the non-statics class

Make sure bip constructor is only generated for the non-statics class #1641

Triggered via push October 11, 2023 15:42
Status Failure
Total duration 25m 15s
Artifacts 12

scalatest.yml

on: push
Matrix: ScalaTest
ScalaTestWindowsBasic
6m 12s
ScalaTestWindowsBasic
ScalaTestMacOsBasic
7m 34s
ScalaTestMacOsBasic
GenerateTestReport
34s
GenerateTestReport
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 14 warnings
ScalaTest (-n MATRIX[1])
Process completed with exit code 1.
ScalaTest (-n MATRIX[5])
Process completed with exit code 1.
vct.test.integration.examples.JavaBipSpec ► JavaBIP test with files examples/concepts/javabip/casinoAdjusted/Main.java, examples/concepts/javabip/casinoAdjusted/Constants.java, examples/concepts/javabip/casinoAdjusted/Player.java, examples/concepts/jav...: test/main/vct/test/integration/helper/JavaBipSpecHelper.scala#L48
Failed test found in: reports/ubuntu-1/TEST-vct.test.integration.examples.JavaBipSpec.xml Error: org.scalatest.exceptions.TestFailedException: Test completed with an unexpected result. Expected pass but got resolutionError. The report is missing.
vct.test.integration.examples.JavaBipSpec ► JavaBIP test with files examples/concepts/javabip/casinoBroken/Main.java, examples/concepts/javabip/casinoBroken/Constants.java, examples/concepts/javabip/casinoBroken/Player.java, examples/concepts/javabip/c...: test/main/vct/test/integration/helper/JavaBipSpecHelper.scala#L48
Failed test found in: reports/ubuntu-5/TEST-vct.test.integration.examples.JavaBipSpec.xml Error: org.scalatest.exceptions.TestFailedException: Test completed with an unexpected result. Expected bipComponentInvariantNotMaintained:false, bipComponentInvariantNotMaintained:false, bipStateInvariantNotMaintained:false, bipStateInvariantNotMaintained:false, bipComponentInvariantNotMaintained:false, but got resolutionError. The report is missing.
GenerateTestReport
Failed test were found and 'fail-on-error' option is set to true
Compile
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-l MATRIX)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[0])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[1])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[6])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[2])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[4])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[3])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTestWindowsBasic
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[5])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTest (-n MATRIX[7])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
ScalaTestMacOsBasic
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
GenerateTestReport
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
GenerateTestReport
Test report summary exceeded limit of 65535 bytes and will be trimmed

Artifacts

Produced during runtime
Name Size
allTests Expired
116 MB
test-report-macos-latest Expired
22.3 KB
test-report-ubuntu-latest--l MATRIX Expired
249 KB
test-report-ubuntu-latest--n MATRIX[0] Expired
258 KB
test-report-ubuntu-latest--n MATRIX[1] Expired
266 KB
test-report-ubuntu-latest--n MATRIX[2] Expired
261 KB
test-report-ubuntu-latest--n MATRIX[3] Expired
261 KB
test-report-ubuntu-latest--n MATRIX[4] Expired
257 KB
test-report-ubuntu-latest--n MATRIX[5] Expired
269 KB
test-report-ubuntu-latest--n MATRIX[6] Expired
260 KB
test-report-ubuntu-latest--n MATRIX[7] Expired
264 KB
test-report-windows-latest Expired
24.7 KB