Skip to content
Build and Test HW-CBMC

normalize_property no longer generates NNF #4297

Sign in to view logs

normalize_property no longer generates NNF

normalize_property no longer generates NNF #4297

Triggered via pull request July 8, 2025 18:36
@kroeningkroening
opened #1191
normalize-no-nnf
Status Failure
Total duration 16m 33s
Artifacts 2

pull-request-checks.yaml

on: pull_request
check-ubuntu-24_04-make-clang
3m 49s
check-ubuntu-24_04-make-clang
check-ubuntu-24_04-make-gcc
3m 19s
check-ubuntu-24_04-make-gcc
CentOS 8
1m 11s
CentOS 8
check-macos-15-make-clang
3m 54s
check-macos-15-make-clang
Emscripten build
1m 54s
Emscripten build
check-vs-2022-make-build-and-test
16m 30s
check-vs-2022-make-build-and-test
benchmarking
4m 27s
benchmarking
ebmc-spot
39s
ebmc-spot
examples
7s
examples
Fit to window
Zoom out
Zoom in

Annotations

1 error and 12 warnings
ebmc-spot
Process completed with exit code 2.
CentOS 8
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
CentOS 8
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
Emscripten build
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
Emscripten build
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-gcc
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-gcc
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-ubuntu-24_04-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-macos-15-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-macos-15-make-clang
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-vs-2022-make-build-and-test
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.
check-vs-2022-make-build-and-test
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.

Artifacts

Produced during runtime
Name Size Digest
ebmc-binary Expired
2.75 MB
sha256:973829da32a2f0f347f965e9eab42126778f7516f62f636bdb60e439123db3ee
vlindex-binary Expired
804 KB
sha256:984123a0dc2ab520e64ac80297d3ae79333de2e60a70af661dcf6f4bfa65e46a