Skip to content
Run ScalaTest

STart implementing assuming, asserting #2832

Sign in to view logs

STart implementing assuming, asserting

STart implementing assuming, asserting #2832

Triggered via push November 7, 2024 15:59
@bobismijnnaambobismijnnaam
pushed 645ed31
veymont-parameterization-syntax
Status Failure
Total duration 24m 59s
Artifacts 13

scalatest.yml

on: push
Compile
14m 21s
Compile
ScalaTestWindowsBasic
7m 6s
ScalaTestWindowsBasic
ScalaTestMacOsBasic
4m 45s
ScalaTestMacOsBasic
Matrix: ScalaTest
Fit to window
Zoom out
Zoom in

Annotations

13 errors and 3 warnings
ScalaTest (-n MATRIX[4])
Process completed with exit code 1.
ScalaTest (-n MATRIX[7])
Process completed with exit code 1.
ScalaTest (-n MATRIX[6])
Process completed with exit code 1.
ScalaTest (-n MATRIX[0])
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.
ScalaTest (-n MATRIX[3])
Process completed with exit code 1.
vct.test.integration.examples.CIncludeSpec ► Examples examples/concepts/clang/c-example-use.c produces verdict pass with Carbon: test/main/vct/test/integration/helper/VercorsSpec.scala#L119
Failed test found in: reports/ubuntu-0/TEST-vct.test.integration.examples.CIncludeSpec.xml reports/ubuntu-1/TEST-vct.test.integration.examples.CIncludeSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.CIncludeSpec.xml reports/ubuntu-4/TEST-vct.test.integration.examples.CIncludeSpec.xml Error: org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it returned an error with code preprocessorError instead.
vct.test.integration.examples.SilverDomainSpec ► Examples examples/concepts/domains/float.sil produces verdict pass with Silicon: test/main/vct/test/integration/helper/VercorsSpec.scala#L123
Failed test found in: reports/ubuntu-1/TEST-vct.test.integration.examples.SilverDomainSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.SilverDomainSpec.xml reports/ubuntu-5/TEST-vct.test.integration.examples.SilverDomainSpec.xml reports/ubuntu-7/TEST-vct.test.integration.examples.SilverDomainSpec.xml Error: org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it crashed with the above error instead.
vct.test.integration.examples.SilverDomainSpec ► Examples examples/concepts/domains/option.sil produces verdict fail with Silicon: test/main/vct/test/integration/helper/VercorsSpec.scala#L150
Failed test found in: reports/ubuntu-1/TEST-vct.test.integration.examples.SilverDomainSpec.xml reports/ubuntu-3/TEST-vct.test.integration.examples.SilverDomainSpec.xml Error: org.scalatest.exceptions.TestFailedException: Expected the test to fail with code preFailed:false, but it crashed with the above error instead.
vct.test.integration.examples.LLVMSpec ► Examples examples/concepts/llvm/cantor.ll produces verdict pass with Silicon: test/main/vct/test/integration/helper/VercorsSpec.scala#L119
Failed test found in: reports/ubuntu-4/TEST-vct.test.integration.examples.LLVMSpec.xml Error: org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it returned an error with code LLVMParseError instead.
vct.test.integration.examples.LLVMSpec ► Examples examples/concepts/llvm/date.ll produces verdict fail with Silicon: test/main/vct/test/integration/helper/VercorsSpec.scala#L146
Failed test found in: reports/ubuntu-6/TEST-vct.test.integration.examples.LLVMSpec.xml Error: org.scalatest.exceptions.TestFailedException: Expected the test to fail with code preFailed:false, but it returned an error with code LLVMParseError instead.
vct.test.integration.examples.LLVMSpec ► Examples examples/concepts/llvm/fib.ll produces verdict pass with Silicon: src/parsers/vct/parsers/parser/ColLLVMParser.scala#L65
Failed test found in: reports/ubuntu-6/TEST-vct.test.integration.examples.LLVMSpec.xml Error: java.lang.IllegalThreadStateException: process hasn't exited
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/
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 Expired
125 MB
pallas Expired
7.65 MB
test-report-macos-latest Expired
2.43 KB
test-report-ubuntu-latest--l MATRIX Expired
108 KB
test-report-ubuntu-latest--n MATRIX[0] Expired
113 KB
test-report-ubuntu-latest--n MATRIX[1] Expired
115 KB
test-report-ubuntu-latest--n MATRIX[2] Expired
112 KB
test-report-ubuntu-latest--n MATRIX[3] Expired
114 KB
test-report-ubuntu-latest--n MATRIX[4] Expired
113 KB
test-report-ubuntu-latest--n MATRIX[5] Expired
113 KB
test-report-ubuntu-latest--n MATRIX[6] Expired
113 KB
test-report-ubuntu-latest--n MATRIX[7] Expired
113 KB
test-report-windows-latest Expired
3.18 KB