Project

General

Profile

« Previous | Next » 

Revision d50b0dc0

Added by Teme Kahsai about 9 years ago

sync

View differences:

src/options.ml
13 13 
let include_path = Version.include_path
14 14 

  		




  15
  15
  
    
let print_version () =


  		




  16
  
  
    
  Format.printf "Lustrec compiler, version %s@." version;


  		




  
  16
  
    
  Format.printf "Lustrec compiler, version %s (dev)@." version;


  		




  17
  17
  
    
  Format.printf "Include directory: %s@." include_path


  		




  18
  18
  
    

  		




  19
  19
  
    
let main_node = ref ""


  		




  ......




  37
  37
  
    

  		




  38
  38
  
    
let horntraces = ref false


  		




  39
  39
  
    
let horn_cex = ref false


  		




  40
  
  
    
let horn_query = ref false


  		




  
  40
  
    
let horn_query = ref true


  		




  41
  41
  
    

  		




  42
  42
  
    

  		




  43
  43
  
    
let options =


  		




  ......




  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