Releases: goblint/analyzer
Releases · goblint/analyzer
Privatization fix
Always publish all (esp. private) globals when going multi-threaded to avoid dead code caused by bottom global invariants.
Always publish all (esp. private) globals when going multi-threaded to avoid dead code caused by bottom global invariants.