goblint
diff --git a/‎…ession/06-symbeq/41-var_eq_multithread.c‎ ‎…ession/06-symbeq/53-var_eq_multithread.c‎tests/regression/06-symbeq/41-var_eq_multithread.c renamed to tests/regression/06-symbeq/53-var_eq_multithread.c b/‎…ession/06-symbeq/41-var_eq_multithread.c‎ ‎…ession/06-symbeq/53-var_eq_multithread.c‎tests/regression/06-symbeq/41-var_eq_multithread.c renamed to tests/regression/06-symbeq/53-var_eq_multithread.c