let init_test () =
  match Ltl_to_acsl_option.Test.get () with
  | 1 ->
      generatesCFile := false;
  | _ ->
      generatesCFile := true