First draft for inlining pallas wrappers #2954
RobertMensingAnnotations
4 errors and 1 warning
|
ScalaTest (-n MATRIX[4])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[0])
Process completed with exit code 1.
|
|
vct.test.integration.examples.LLVMSpec ► Examples examples/concepts/llvm/pallas/pallas_function_contract.ll produces verdict pass with Silicon:
test/main/vct/test/integration/helper/VercorsSpec.scala#L123
Failed test found in:
reports/ubuntu-0/TEST-vct.test.integration.examples.LLVMSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it crashed with the above error instead.
|
|
vct.test.integration.examples.LLVMSpec ► Examples examples/concepts/llvm/pallas/pallas_function_contract_fail.ll produces verdict fail with Silicon:
test/main/vct/test/integration/helper/VercorsSpec.scala#L150
Failed test found in:
reports/ubuntu-4/TEST-vct.test.integration.examples.LLVMSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to fail with code postFailed:false, but it crashed with the above error instead.
|
|
ScalaTestWindowsBasic
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
allTests
|
125 MB |
|
|
pallas
|
7.81 MB |
|
|
test-report-macos-latest
|
2.46 KB |
|
|
test-report-ubuntu-latest--l MATRIX
|
109 KB |
|
|
test-report-ubuntu-latest--n MATRIX[0]
|
114 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]
|
114 KB |
|
|
test-report-ubuntu-latest--n MATRIX[5]
|
113 KB |
|
|
test-report-ubuntu-latest--n MATRIX[6]
|
113 KB |
|
|
test-report-ubuntu-latest--n MATRIX[7]
|
114 KB |
|
|
test-report-windows-latest
|
3.19 KB |
|