Add --disableNL to see how test suite reacts #3185
bobismijnnaamAnnotations
15 errors
|
ScalaTestMacOsBasic
Process completed with exit code 1.
|
|
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[2])
Process completed with exit code 1.
|
|
ScalaTestWindowsBasic
Process completed with exit code 1.
|
|
ScalaTest (-n MATRIX[3])
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.
|
|
vct.test.integration.examples.BasicExamplesSpec ► Examples examples/concepts/basic/For.java produces verdict pass with Silicon:
test/main/vct/test/integration/helper/VercorsSpec.scala#L127
Failed test found in:
reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml
reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml
reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml
reports/macos/TEST-vct.test.integration.examples.BasicExamplesSpec.xml
reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml
reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml
reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml
reports/windows/TEST-vct.test.integration.examples.BasicExamplesSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it returned verification failures instead.
|
|
vct.test.integration.examples.ArrayExamplesSpec ► Examples examples/concepts/arrays/JavaArrayExamples.java produces verdict pass with Silicon:
test/main/vct/test/integration/helper/VercorsSpec.scala#L127
Failed test found in:
reports/ubuntu-0/TEST-vct.test.integration.examples.ArrayExamplesSpec.xml
reports/ubuntu-0/TEST-vct.test.integration.examples.BasicExamplesSpec.xml
reports/ubuntu-0/TEST-vct.test.integration.examples.CSpec.xml
reports/ubuntu-1/TEST-vct.test.integration.examples.BasicExamplesSpec.xml
reports/ubuntu-1/TEST-vct.test.integration.examples.GpgpuSpec.xml
reports/ubuntu-1/TEST-vct.test.integration.examples.VerifyThisSpec.xml
reports/ubuntu-2/TEST-vct.test.integration.examples.Triggers.xml
reports/ubuntu-3/TEST-vct.test.integration.examples.BasicExamplesSpec.xml
reports/ubuntu-3/TEST-vct.test.integration.examples.CSpec.xml
reports/ubuntu-4/TEST-vct.test.integration.examples.GpgpuSpec.xml
reports/ubuntu-4/TEST-vct.test.integration.examples.SYCLSpec.xml
reports/ubuntu-4/TEST-vct.test.integration.examples.VerifyThisSpec.xml
reports/ubuntu-5/TEST-vct.test.integration.examples.BasicExamplesSpec.xml
reports/ubuntu-5/TEST-vct.test.integration.examples.LLVMSpec.xml
reports/ubuntu-7/TEST-vct.test.integration.examples.GpgpuSpec.xml
reports/ubuntu-7/TEST-vct.test.integration.examples.LLVMSpec.xml
reports/ubuntu-7/TEST-vct.test.integration.examples.MapsSpec.xml
reports/ubuntu-7/TEST-vct.test.integration.examples.SequencesSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it returned verification failures instead.
|
|
vct.test.integration.examples.GpgpuSpec ► Examples examples/concepts/gpgpu/cuda.cu 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.GpgpuSpec.xml
reports/ubuntu-0/TEST-vct.test.integration.examples.GpgpuSpec.xml
reports/ubuntu-0/TEST-vct.test.integration.features.ParBlockSpec.xml
reports/ubuntu-1/TEST-vct.test.integration.examples.GpgpuSpec.xml
reports/ubuntu-5/TEST-vct.test.integration.examples.GpgpuSpec.xml
reports/ubuntu-6/TEST-vct.test.integration.examples.GpgpuSpec.xml
reports/ubuntu-6/TEST-vct.test.integration.examples.GpgpuSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it crashed with the above error instead.
|
|
vct.test.integration.examples.CSpec ► Examples examples/concepts/c/vector_type.c produces verdict pass with Silicon:
src/viper/viper/api/backend/SilverBackend.scala#L66
Failed test found in:
reports/ubuntu-6/TEST-vct.test.integration.examples.CSpec.xml
Error:
java.util.NoSuchElementException: None.get
|
|
vct.test.integration.examples.SYCLSpec ► Examples examples/concepts/sycl/kernels/itemMethodsInjective/injectiveGetGlobalLinearId3.cpp with flags --no-infer-heap-context-into-frame produces verdict pass with Silicon:
test/main/vct/test/integration/helper/VercorsSpec.scala#L119
Failed test found in:
reports/ubuntu-6/TEST-vct.test.integration.examples.SYCLSpec.xml
reports/ubuntu-6/TEST-vct.test.integration.examples.SYCLSpec.xml
reports/ubuntu-7/TEST-vct.test.integration.examples.SYCLSpec.xml
reports/ubuntu-7/TEST-vct.test.integration.examples.SYCLSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it returned an error with code syclKernelForkPre instead.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
allTests
|
130 MB |
|
|
pallas
|
8.12 MB |
|
|
test-report-macos-latest
|
3.51 KB |
|
|
test-report-ubuntu-latest--l MATRIX
|
116 KB |
|
|
test-report-ubuntu-latest--n MATRIX[0]
|
126 KB |
|
|
test-report-ubuntu-latest--n MATRIX[1]
|
124 KB |
|
|
test-report-ubuntu-latest--n MATRIX[2]
|
122 KB |
|
|
test-report-ubuntu-latest--n MATRIX[3]
|
123 KB |
|
|
test-report-ubuntu-latest--n MATRIX[4]
|
123 KB |
|
|
test-report-ubuntu-latest--n MATRIX[5]
|
124 KB |
|
|
test-report-ubuntu-latest--n MATRIX[6]
|
124 KB |
|
|
test-report-ubuntu-latest--n MATRIX[7]
|
126 KB |
|
|
test-report-windows-latest
|
4.22 KB |
|