Our sv-benchmarks validation runs (at least) contain some crashes like
Fatal error: exception Failure("Environment.dim_of_var: unknown variable in the environment")
Since the autotuner uses goblint_relation_track attributes to specify which variables are tracked, these need to be preserved for copied globals. This is already done in assign_to_global_wrapper, but not read_globals_to_locals, which this fixes.
Our sv-benchmarks validation runs (at least) contain some crashes like
Since the autotuner uses
goblint_relation_track
attributes to specify which variables are tracked, these need to be preserved for copied globals. This is already done inassign_to_global_wrapper
, but notread_globals_to_locals
, which this fixes.