Project

General

Profile

Revision 01d48bb0 src/options.ml

View differences:

src/options.ml
67 67
    "-verbose", Arg.Set_int verbose_level, " changes verbose level <default: 1>";
68 68
    "-version", Arg.Unit print_version, " displays the version";]
69 69

  
70

  
70 71
let get_witness_dir filename =
71 72
  (* Make sure the directory exists *)
72 73
  let dir = !dest_dir ^ "/" ^ (Filename.basename filename) ^ "_witnesses" in

Also available in: Unified diff