Commit 4eecf3ae authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Disabled the creation of lr.csv.

parent befe0f17
......@@ -9,8 +9,8 @@ let () =
let module L = LRijkstra.Run(struct
(* Undocumented: if [--log-automaton 2] is set, be verbose. *)
let verbose = Settings.logA >= 2
let statistics = if verbose then Some "lr.csv" else None
(* For my own purposes, LRijstra can print one line of statistics to a .csv file. *)
let statistics = if false then Some "lr.csv" else None
end) in
exit 0
Supports Markdown
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