Fix 2020 permutations oddPhase.pvl #1558
bobismijnnaam
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
scalatest.yml
on: push
Annotations
6 errors and 1 warning
|
ScalaTest (-n MATRIX[6])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[5])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[7])
Process completed with exit code 1.
|
|
vct.test.integration.examples.PermutationSpec ► Examples examples/publications/2020/permutations/timsort1.pvl produces verdict pass with Silicon:
test/main/vct/test/integration/helper/VercorsSpec.scala#L116
Failed test found in:
reports/ubuntu-5/TEST-vct.test.integration.examples.PermutationSpec.xml
reports/ubuntu-6/TEST-vct.test.integration.examples.PermutationSpec.xml
reports/ubuntu-7/TEST-vct.test.integration.examples.PermutationSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it returned verification failures instead.
|
|
vct.test.integration.examples.PermutationSpec ► Examples examples/publications/2020/permutations/oddEven.pvl produces verdict pass with Silicon:
test/main/vct/test/integration/helper/VercorsSpec.scala#L112
Failed test found in:
reports/ubuntu-7/TEST-vct.test.integration.examples.PermutationSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it crashed with the above error instead.
|
|
GenerateTestReport
Failed test were found and 'fail-on-error' option is set to true
|
|
GenerateTestReport
Test report summary exceeded limit of 65535 bytes and will be trimmed
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
allTests
Expired
|
105 MB |
|
|
test-report-macos-latest
Expired
|
22.3 KB |
|
|
test-report-ubuntu-latest--l MATRIX
Expired
|
242 KB |
|
|
test-report-ubuntu-latest--n MATRIX[0]
Expired
|
251 KB |
|
|
test-report-ubuntu-latest--n MATRIX[1]
Expired
|
254 KB |
|
|
test-report-ubuntu-latest--n MATRIX[2]
Expired
|
254 KB |
|
|
test-report-ubuntu-latest--n MATRIX[3]
Expired
|
254 KB |
|
|
test-report-ubuntu-latest--n MATRIX[4]
Expired
|
250 KB |
|
|
test-report-ubuntu-latest--n MATRIX[5]
Expired
|
261 KB |
|
|
test-report-ubuntu-latest--n MATRIX[6]
Expired
|
258 KB |
|
|
test-report-ubuntu-latest--n MATRIX[7]
Expired
|
268 KB |
|
|
test-report-windows-latest
Expired
|
24.4 KB |
|