Remove hardcoded constant folding for unary minus in `cabs2cil` · goblint/cil@35e77a2

Triggered via push January 30, 2026 13:04

karoliineh

unary-minus-constfold

Status Success

Total duration 2m 30s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	834 KB	`sha256:b18c471b9df4277e3e442080b145d5a96861d0a4aed6dc028d02e80bcdf8c9db`