Skip to content
Linux build-test-deploy

Removed infinite state spaces from mdd test #1610

Sign in to view logs

Removed infinite state spaces from mdd test

Removed infinite state spaces from mdd test #1610

Triggered via push November 7, 2024 08:56
@leventeBajczileventeBajczi
pushed 2bbba4d
emergent-2025
Status Failure
Total duration 21m 49s
Artifacts 4

linux-build-test-deploy.yml

on: push
build
6m 10s
build
Matrix: test-docker
deploy-maven
0s
deploy-maven
deploy-docs
23s
deploy-docs
Matrix: test-linux
create-archives
7m 9s
create-archives
javadoc
4m 39s
javadoc
Matrix: deploy-docker
Matrix: test-benchexec
deploy-release
0s
deploy-release
collect-results
0s
collect-results
Fit to window
Zoom out
Zoom in

Annotations

54 errors and 14 warnings
test-linux (ubuntu-latest)
Gradle build failed: see console output for details
test-linux (ubuntu-22.04)
Gradle build failed: see console output for details
test-benchexec (Heap, CEGAR)
Process completed with exit code 1.
test-benchexec (ConcurrencySafety-MemSafety, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (ConcurrencySafety-MemSafety, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (ConcurrencySafety-MemSafety, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Combinations, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (ControlFlow, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Concurrency, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Arrays, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (ConcurrencySafety-NoOverflows, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (ProductLines, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Combinations, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Hardware, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Hardware, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Loops, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Floats, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Recursive, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (ECA, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Arrays, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Sequentialized, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Sequentialized, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Hardware, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Loops, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Recursive, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Heap, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Floats, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (ProductLines, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Floats, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (ECA, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (ConcurrencySafety-NoOverflows, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (NoDataRace, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (ControlFlow, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Heap, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Arrays, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (BitVectors, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Sequentialized, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (ProductLines, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (BitVectors, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Recursive, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (ControlFlow, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (XCSP, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Combinations, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (ECA, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Concurrency, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Concurrency, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (NoDataRace, CEGAR)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (Loops, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (XCSP, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (ConcurrencySafety-NoOverflows, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (BitVectors, BOUNDED)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (NoDataRace, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (XCSP, HORN)
The job was canceled because "Heap_CEGAR" failed.
test-benchexec (XCSP, HORN)
A task was canceled.
deploy-docs
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@e9aba2c848f5ebd159c070c61ea2c4e2b122355e. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
deploy-docs
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, actions/setup-python@e9aba2c848f5ebd159c070c61ea2c4e2b122355e. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-docker (theta-sts-cli)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, docker/login-action@f4ef78c080cd8ba55a85445d5b36e214a81df20a, docker/setup-buildx-action@2a1a44ac4aa01993040736bd95bb470da1a38365, docker/build-push-action@2eb1c1961a95fc15694676618e422e8ba1d63825. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-docker (theta-xsts-cli)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, docker/login-action@f4ef78c080cd8ba55a85445d5b36e214a81df20a, docker/setup-buildx-action@2a1a44ac4aa01993040736bd95bb470da1a38365, docker/build-push-action@2eb1c1961a95fc15694676618e422e8ba1d63825. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-docker (theta-cfa-cli)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, docker/login-action@f4ef78c080cd8ba55a85445d5b36e214a81df20a, docker/setup-buildx-action@2a1a44ac4aa01993040736bd95bb470da1a38365, docker/build-push-action@2eb1c1961a95fc15694676618e422e8ba1d63825. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-docker (theta-xta-cli)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, docker/login-action@f4ef78c080cd8ba55a85445d5b36e214a81df20a, docker/setup-buildx-action@2a1a44ac4aa01993040736bd95bb470da1a38365, docker/build-push-action@2eb1c1961a95fc15694676618e422e8ba1d63825. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
build
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, actions/setup-java@5ffc13f4174014e2d4d4572b3d74c3fa61aeb2c2, gradle/gradle-build-action@40b6781dcdec2762ad36556682ac74e31030cfe2, actions/upload-artifact@0b7f8abb1508181956e8e162db84b466c27e18ce, emibcn/badge-action@4209421db54c8764d8932070ffd0f81715a629bf. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-docker (theta-xcfa-cli)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, docker/login-action@f4ef78c080cd8ba55a85445d5b36e214a81df20a, docker/setup-buildx-action@2a1a44ac4aa01993040736bd95bb470da1a38365, docker/build-push-action@2eb1c1961a95fc15694676618e422e8ba1d63825. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
javadoc
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, actions/setup-java@5ffc13f4174014e2d4d4572b3d74c3fa61aeb2c2, gradle/gradle-build-action@40b6781dcdec2762ad36556682ac74e31030cfe2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-linux (ubuntu-latest)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, actions/setup-java@5ffc13f4174014e2d4d4572b3d74c3fa61aeb2c2, gradle/gradle-build-action@40b6781dcdec2762ad36556682ac74e31030cfe2, emibcn/badge-action@4209421db54c8764d8932070ffd0f81715a629bf. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-linux (ubuntu-22.04)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, actions/setup-java@5ffc13f4174014e2d4d4572b3d74c3fa61aeb2c2, gradle/gradle-build-action@40b6781dcdec2762ad36556682ac74e31030cfe2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
create-archives
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9, actions/download-artifact@9bc31d5ccc31df68ecc42ccf4149144866c47d8a, actions/setup-java@5ffc13f4174014e2d4d4572b3d74c3fa61aeb2c2, actions/upload-artifact@0b7f8abb1508181956e8e162db84b466c27e18ce. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test-benchexec (Heap, CEGAR)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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: "EmergenTheta_SV-COMP", "Theta_SV-COMP", "ThetaJars", "Thorn_SV-COMP". 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
EmergenTheta_SV-COMP
440 MB
ThetaJars
541 MB
Theta_SV-COMP
440 MB
Thorn_SV-COMP
440 MB