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