Fix `fixpoint` option `ana.int.refinement` - loop was never executed · goblint/analyzer@70026e2

Triggered via push February 11, 2025 09:11

refine_loop

Status Success

Total duration 4m 34s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.11 MB	`sha256:eea9fd1bf24af7b530526eecfd2503b1bfe1a7c724ee468914f3f7d488702f22`