Fix bug where resource-typed expressions without an endpoint were err… #2812
bobismijnnaamAnnotations
13 errors and 2 warnings
|
ScalaTest (-n MATRIX[4])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[2])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[6])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[3])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[1])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[5])
Process completed with exit code 1.
|
|
vct.test.integration.examples.veymont.FM2023VeyMontSpec ► Files examples/publications/2023/FM2023VeyMont/applicability/consensus-3.pvl verifies with silicon:
test/main/vct/test/integration/helper/VeyMontSpec.scala#L237
Failed test found in:
reports/ubuntu-1/TEST-vct.test.integration.examples.veymont.FM2023VeyMontSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Pass did not equal Error(choreography:noImplicitEndpoint)
|
|
vct.test.integration.examples.veymont.TechnicalVeyMontSpec ► Files examples/technical/veymont/checkMainSyntaxAndWellFormedness/MainConstructorWithArgs.pvl verifies with silicon:
test/main/vct/test/integration/helper/VeyMontSpec.scala#L237
Failed test found in:
reports/ubuntu-2/TEST-vct.test.integration.examples.veymont.TechnicalVeyMontSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Pass did not equal Error(choreography:noImplicitEndpoint)
|
|
vct.test.integration.examples.veymont.FM2023VeyMontSpec ► Files examples/publications/2023/FM2023VeyMont/applicability/consensus-5.pvl verifies with silicon:
test/main/vct/test/integration/helper/VeyMontSpec.scala#L237
Failed test found in:
reports/ubuntu-3/TEST-vct.test.integration.examples.veymont.FM2023VeyMontSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Pass did not equal Error(choreography:noImplicitEndpoint)
|
|
vct.test.integration.examples.veymont.VeyMontExamplesSpec ► Leader elect ring (generated permissions) verifies with silicon:
test/main/vct/test/integration/helper/VeyMontSpec.scala#L237
Failed test found in:
reports/ubuntu-4/TEST-vct.test.integration.examples.veymont.VeyMontExamplesSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Pass did not equal Error(generate:noImplicitEndpoint)
|
|
vct.test.integration.examples.veymont.VeyMontExamplesSpec ► Parallel while (generated permissions) verifies with silicon:
test/main/vct/test/integration/helper/VeyMontSpec.scala#L237
Failed test found in:
reports/ubuntu-4/TEST-vct.test.integration.examples.veymont.VeyMontExamplesSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Pass did not equal Error(choreography:noImplicitEndpoint)
|
|
vct.test.integration.examples.veymont.IFM2024VeyMontPermissionsSpec ► TTT case study (choreographic verification) verifies with silicon:
test/main/vct/test/integration/helper/VeyMontSpec.scala#L237
Failed test found in:
reports/ubuntu-5/TEST-vct.test.integration.examples.veymont.IFM2024VeyMontPermissionsSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Pass did not equal Error(generate:noImplicitEndpoint)
|
|
vct.test.integration.examples.veymont.VeyMontExamplesSpec ► Leader elect star (generated permissions) verifies with silicon:
test/main/vct/test/integration/helper/VeyMontSpec.scala#L237
Failed test found in:
reports/ubuntu-6/TEST-vct.test.integration.examples.veymont.VeyMontExamplesSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Pass did not equal Error(generate:noImplicitEndpoint)
|
|
ScalaTestWindowsBasic
The following actions uses node12 which is deprecated and will be forced to run on node16: 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/
|
|
ScalaTestWindowsBasic
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
allTests
|
125 MB |
|
|
pallas
|
7.64 MB |
|
|
test-report-macos-latest
|
2.43 KB |
|
|
test-report-ubuntu-latest--l MATRIX
|
108 KB |
|
|
test-report-ubuntu-latest--n MATRIX[0]
|
112 KB |
|
|
test-report-ubuntu-latest--n MATRIX[1]
|
114 KB |
|
|
test-report-ubuntu-latest--n MATRIX[2]
|
113 KB |
|
|
test-report-ubuntu-latest--n MATRIX[3]
|
114 KB |
|
|
test-report-ubuntu-latest--n MATRIX[4]
|
113 KB |
|
|
test-report-ubuntu-latest--n MATRIX[5]
|
114 KB |
|
|
test-report-ubuntu-latest--n MATRIX[6]
|
113 KB |
|
|
test-report-ubuntu-latest--n MATRIX[7]
|
112 KB |
|
|
test-report-windows-latest
|
3.17 KB |
|