Parse function pointer typedefs, fix bitvector oversight, add missing… #3110
superaxanderAnnotations
3 errors
|
ScalaTest (-n MATRIX[2])
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[0])
Process completed with exit code 1.
|
|
vct.test.integration.examples.CSpec ► Examples examples/concepts/c/tagged_struct.c with flags --backend-option --exhaleMode=2 produces verdict pass with Silicon:
test/main/vct/test/integration/helper/VercorsSpec.scala#L119
Failed test found in:
reports/ubuntu-0/TEST-vct.test.integration.examples.CSpec.xml
reports/ubuntu-2/TEST-vct.test.integration.examples.CSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it returned an error with code unsupportedCast instead.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
allTests
|
128 MB |
|
|
pallas
|
8 MB |
|
|
test-report-macos-latest
|
2.44 KB |
|
|
test-report-ubuntu-latest--l MATRIX
|
113 KB |
|
|
test-report-ubuntu-latest--n MATRIX[0]
|
118 KB |
|
|
test-report-ubuntu-latest--n MATRIX[1]
|
117 KB |
|
|
test-report-ubuntu-latest--n MATRIX[2]
|
117 KB |
|
|
test-report-ubuntu-latest--n MATRIX[3]
|
117 KB |
|
|
test-report-ubuntu-latest--n MATRIX[4]
|
116 KB |
|
|
test-report-ubuntu-latest--n MATRIX[5]
|
117 KB |
|
|
test-report-ubuntu-latest--n MATRIX[6]
|
116 KB |
|
|
test-report-ubuntu-latest--n MATRIX[7]
|
117 KB |
|
|
test-report-windows-latest
|
3.17 KB |
|