From 77ee161826e24e87f801cbbeb797fb3a4a4a0fe9 Mon Sep 17 00:00:00 2001 From: Léo Gourdin Date: Tue, 27 Jul 2021 17:28:16 +0200 Subject: test ci2 --- scheduling/BTLScheduleraux.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'scheduling') diff --git a/scheduling/BTLScheduleraux.ml b/scheduling/BTLScheduleraux.ml index 268ee7a5..5ebc4144 100644 --- a/scheduling/BTLScheduleraux.ml +++ b/scheduling/BTLScheduleraux.ml @@ -71,7 +71,7 @@ let apply_schedule bseq olast positions = let fmap n = find_array positions n in let seq = (Array.init (Array.length positions) (fun i -> i)) in let fseq = Array.map fmap seq in - debug_flag := true; + (*debug_flag := true;*) Array.iter (fun i -> debug "%d " i) positions; debug "\n"; Array.iter (fun i -> debug "%d " i) fseq; @@ -92,7 +92,7 @@ let apply_schedule bseq olast positions = let set_new = Hashtbl.find cbs_above_new n' in if SI.subset set_old set_new then bseq_new.(n') <- Bload (AST.TRAP, a, b, c, d, e) - else assert !config.has_non_trapping_loads + else (Printf.eprintf "\nTEST_GOURDINL_OK\n"; assert !config.has_non_trapping_loads) | _ -> ()) bseq; let ibl = Array.to_list bseq_new in @@ -101,7 +101,7 @@ let apply_schedule bseq olast positions = | [ ib ] -> ( match olast with Some last -> Bseq (ib, last) | None -> ib) | ib1 :: ib2 :: k -> Bseq (ib1, build_iblock (ib2 :: k)) in - debug_flag := false; + (*debug_flag := false;*) build_iblock ibl let schedule_blk n ibf btl = -- cgit