Autotuner: Do not activate Apron for `val` variables from Goblint header for `__VERIFIER_nondet_*`#987

Merged

michael-schwarz merged 3 commits intomasterfrom issue-921

Feb 14, 2023

+20-3

Commits on Feb 12, 2023

Introduce attribute goblint_stub for variables to prevent tracking it relationally
michael-schwarz
committed

Commits on Feb 14, 2023