added an experimental single-threaded enforcement flag
Added an experimental flag which sets all globals to top permanently.
Could be useful for forcing convergence of solvers not supporting
globals/side-effects.
_
Merge branch 'master' of https://github.com/goblint/analyzer
_
bug in flagModeDomain
Merge branch 'master' of https://github.com/goblint/analyzer
flags IO
_
Merge branch 'master' of https://github.com/goblint/analyzer
Making analyses work when there is no oil file.
Getting regression tests to pass, except two OSEK tests.
backported special_fn branch fix from MCP2
allow flag protection for osek programms
merging
minor tweaking
Clean reg tests.
OSEK: Task activation by alarms
new framework passes test-suite
OSEK: Flag privatization