Revision 01d48bb0 src/options.ml
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