Skip to content

Fix verifythis 2018 challenge2 #1552

Fix verifythis 2018 challenge2

Fix verifythis 2018 challenge2 #1552

Triggered via push June 29, 2023 11:46
Status Failure
Total duration 27m 51s
Artifacts 12
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

scalatest.yml

on: push
Matrix: ScalaTest
ScalaTestWindowsBasic
5m 40s
ScalaTestWindowsBasic
ScalaTestMacOsBasic
6m 8s
ScalaTestMacOsBasic
GenerateTestReport
44s
GenerateTestReport
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 1 warning
ScalaTest (-n MATRIX[4])
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/oddPhase.pvl produces verdict pass with Silicon: test/main/vct/test/integration/helper/VercorsSpec.scala#L112
Failed test found in: reports/ubuntu-4/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 crashed with the above error instead.
vct.test.integration.examples.PermutationSpec ► Examples examples/publications/2020/permutations/selection.pvl produces verdict pass with Silicon: test/main/vct/test/integration/helper/VercorsSpec.scala#L116
Failed test found in: reports/ubuntu-4/TEST-vct.test.integration.examples.PermutationSpec.xml reports/ubuntu-7/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.
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
261 KB
test-report-ubuntu-latest--n MATRIX[5] Expired
256 KB
test-report-ubuntu-latest--n MATRIX[6] Expired
253 KB
test-report-ubuntu-latest--n MATRIX[7] Expired
273 KB
test-report-windows-latest Expired
24.4 KB