cSimplifier: some refactoring; make simplification optional #2749
scalatest.yml
on: push
Annotations
14 errors and 28 warnings
ScalaTest (-n MATRIX[4])
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[6])
Process completed with exit code 1.
|
ScalaTest (-n MATRIX[5])
Process completed with exit code 1.
|
vct.test.integration.examples.PermutationSpec ► Examples examples/publications/2020/permutations/evenPhase.pvl, examples/publications/2020/permutations/permutation.pvl 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.PermutationSpec.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/opencl_vector_add.cl 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.GpgpuSpec.xml
reports/ubuntu-4/TEST-vct.test.integration.examples.GpgpuSpec.xml
reports/ubuntu-5/TEST-vct.test.integration.examples.CSpec.xml
reports/ubuntu-6/TEST-vct.test.integration.examples.CSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it crashed with the above error instead.
|
vct.test.integration.examples.SYCLSpec ► Examples examples/concepts/sycl/buffers/WrongGenericArgumentForConstructorHostdataType.cpp produces verdict error with Silicon:
test/main/vct/test/integration/helper/VercorsSpec.scala#L165
Failed test found in:
reports/ubuntu-1/TEST-vct.test.integration.examples.SYCLSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to error with code notApplicable, but got resolutionError:type,type,type,type instead.
|
vct.test.integration.examples.CSpec ► Vector divide by zero 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.CSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to fail with code vectorDivByZero, but it crashed with the above error instead.
|
GenerateTestReport
Failed test were found and 'fail-on-error' option is set to true
|
vct.test.integration.examples.PermutationSpec ► Examples examples/publications/2020/permutations/evenPhase.pvl, examples/publications/2020/permutations/permutation.pvl 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.PermutationSpec.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/opencl_vector_add.cl 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.GpgpuSpec.xml
reports/ubuntu-4/TEST-vct.test.integration.examples.GpgpuSpec.xml
reports/ubuntu-5/TEST-vct.test.integration.examples.CSpec.xml
reports/ubuntu-6/TEST-vct.test.integration.examples.CSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to pass, but it crashed with the above error instead.
|
vct.test.integration.examples.SYCLSpec ► Examples examples/concepts/sycl/buffers/WrongGenericArgumentForConstructorHostdataType.cpp produces verdict error with Silicon:
test/main/vct/test/integration/helper/VercorsSpec.scala#L165
Failed test found in:
reports/ubuntu-1/TEST-vct.test.integration.examples.SYCLSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to error with code notApplicable, but got resolutionError:type,type,type,type instead.
|
vct.test.integration.examples.CSpec ► Vector divide by zero 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.CSpec.xml
Error:
org.scalatest.exceptions.TestFailedException: Expected the test to fail with code vectorDivByZero, but it crashed with the above error instead.
|
Compile
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Compile
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-java@v1, actions/cache@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
ScalaTest (-l MATRIX)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
ScalaTest (-l MATRIX)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
ScalaTest (-n MATRIX[4])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
ScalaTest (-n MATRIX[4])
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
ScalaTest (-n MATRIX[2])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
ScalaTest (-n MATRIX[2])
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
ScalaTest (-n MATRIX[0])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
ScalaTest (-n MATRIX[0])
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
ScalaTestMacOsBasic
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
ScalaTestMacOsBasic
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
ScalaTest (-n MATRIX[1])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
ScalaTest (-n MATRIX[1])
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
ScalaTestWindowsBasic
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1, 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/checkout@v2, actions/setup-java@v1, actions/cache@v2, actions/download-artifact@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
ScalaTest (-n MATRIX[7])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
ScalaTest (-n MATRIX[7])
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
ScalaTest (-n MATRIX[3])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
ScalaTest (-n MATRIX[3])
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
ScalaTest (-n MATRIX[6])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
ScalaTest (-n MATRIX[6])
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
ScalaTest (-n MATRIX[5])
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
ScalaTest (-n MATRIX[5])
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/setup-java@v1, actions/download-artifact@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
GenerateTestReport
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
GenerateTestReport
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2, actions/download-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
GenerateTestReport
Test report summary exceeded limit of 65535 bytes and will be trimmed
|
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "allTests", "test-report-macos-latest", "test-report-ubuntu-latest--l MATRIX", "test-report-ubuntu-latest--n MATRIX[0]", "test-report-ubuntu-latest--n MATRIX[1]", "test-report-ubuntu-latest--n MATRIX[2]", "test-report-ubuntu-latest--n MATRIX[3]", "test-report-ubuntu-latest--n MATRIX[4]", "test-report-ubuntu-latest--n MATRIX[5]", "test-report-ubuntu-latest--n MATRIX[6]", "test-report-ubuntu-latest--n MATRIX[7]", "test-report-windows-latest", "vcllvm".
Please update your workflow to use v4 of the artifact actions.
Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
allTests
|
128 MB |
|
test-report-macos-latest
|
22.3 KB |
|
test-report-ubuntu-latest--l MATRIX
|
293 KB |
|
test-report-ubuntu-latest--n MATRIX[0]
|
313 KB |
|
test-report-ubuntu-latest--n MATRIX[1]
|
323 KB |
|
test-report-ubuntu-latest--n MATRIX[2]
|
309 KB |
|
test-report-ubuntu-latest--n MATRIX[3]
|
312 KB |
|
test-report-ubuntu-latest--n MATRIX[4]
|
317 KB |
|
test-report-ubuntu-latest--n MATRIX[5]
|
318 KB |
|
test-report-ubuntu-latest--n MATRIX[6]
|
315 KB |
|
test-report-ubuntu-latest--n MATRIX[7]
|
312 KB |
|
test-report-windows-latest
|
24.7 KB |
|
vcllvm
|
27.5 MB |
|