Disable constant folding to not miss checks in constant expressions · goblint/analyzer@da7ab8c

Triggered via pull request January 28, 2026 19:01

sim642

synchronize #1933

Status Success

Total duration 18m 15s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest Expired	3.01 MB	`sha256:a16092f871864dc75955ead14f5a3f56d3f99afa03c4b53fbe893d047c3885a7`
suite_result-ubuntu-latest Expired	3.04 MB	`sha256:20c3f7737b50e13f13bc5c4b2dd8c5a7de8b7ebc9755ff8263febf82c9372d10`