Commit 49433e11 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Change debug messages

parent 00fe1a77
......@@ -89,7 +89,7 @@ let options =
]
let () =
let () = UtilsLib.Log.set_level Logs.Debug in
let () = UtilsLib.Log.set_level "db_test" Logs.App in
if Array.length (Sys.argv) > 1 then
Arg.parse options (fun s -> parse_file !query !edb_file s) usage_msg
else parse_file None None "/home/pogodall/work/dev/ACGtk/src/datalog.prover/Jean-regarde-telescope.dl"
......@@ -74,7 +74,7 @@ let () =
let () = print_newline()
let () =
let () = UtilsLib.Log.set_level Logs.Debug in
let () = UtilsLib.Log.set_level "test" Logs.Debug in
OddIntArray.collect_results
(fun _ res -> Printf.printf "State: %s\n%!" (string_of_res res))
()
......
......@@ -253,6 +253,9 @@ struct
| Link_to variable -> assert (representative_index=variable)
| _ -> () in true));
(representative_index,representative_value),updated_f
| exception S.Store_Not_found ->
let () = Log.debug (fun m -> m "Could not find %d in the store." i) in
raise S.Store_Not_found
(** [find i h] returns a pair [(i',v),f'] where [i'] is the index of
the representative of the data indexed by [i]. [i=i'] means that
......@@ -393,7 +396,7 @@ struct
let make n d = make_aux n d IntMap.empty
let get k m =
let get k m =
try
IntMap.find k m
with
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment