Added basic tests for the pallas function contracts #2892
RobertMensingAnnotations
4 errors and 1 warning
|
ScalaTest (-l MATRIX)
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[5])
Process completed with exit code 1.
|
|
vct.test.integration.examples.WandSpec ► Examples examples/concepts/wand/TreeWandSilver.java produces verdict pass with Silicon:
test/main/vct/test/integration/helper/VercorsSpec.scala#L127
Failed test found in:
reports/ubuntu-5/TEST-vct.test.integration.examples.WandSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it returned verification failures instead.
|
|
vct.test.integration.meta.ExampleCoverage ► should cover all examples in the examples directory:
test/main/vct/test/integration/meta/ExampleCoverage.scala#L81
Failed test found in:
reports/ubuntu-x/TEST-vct.test.integration.meta.ExampleCoverage.xml
Error:
org.scalatest.exceptions.TestFailedException: The test suite does not have a test entry that processes the above files.
|
|
ScalaTestWindowsBasic
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use the latest version of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-09-16-notice-of-upcoming-deprecations-and-changes-in-github-actions-services/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
allTests
|
125 MB |
|
|
pallas
|
7.76 MB |
|
|
test-report-macos-latest
|
2.47 KB |
|
|
test-report-ubuntu-latest--l MATRIX
|
110 KB |
|
|
test-report-ubuntu-latest--n MATRIX[0]
|
113 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]
|
113 KB |
|
|
test-report-ubuntu-latest--n MATRIX[4]
|
112 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]
|
114 KB |
|
|
test-report-windows-latest
|
3.17 KB |
|