Project

General

Profile

« Previous | Next » 

Revision 61df3cb9

Added by Pierre-Loïc Garoche over 5 years ago

Reformating plugin signatures. Better report management

View differences:

src/options_management.ml
137 137 
    "-no-mutation-suffix", Arg.Set no_mutation_suffix, "does not rename node with the _mutant suffix"
138 138 
  ]
139 139 

  		




  140
  
  
    
let plugin_opt (name, activate, options) =


  		




  
  140
  
    
let plugin_opt (name, activate, usage, options) =


  		




  
  141
  
    
  let usage () =


  		




  
  142
  
    
    Format.printf "@[<v 2>Plugin %s:@ %t@]@." name usage;


  		




  
  143
  
    
    exit 0


  		




  
  144
  
    
  in


  		




  141
  145
  
    
  ( "-" ^ name , Arg.Unit activate, "activate plugin " ^ name ) ::


  		




  
  146
  
    
  ( "-" ^ name ^ "-help" , Arg.Unit usage, "plugin " ^ name ^ " help") ::


  		




  142
  147
  
    
    (List.map (fun (opt, act, desc) -> "-" ^ name ^ opt, act, desc) options)


  		




  143
  148
  
    
 


  		




  144
  149
  
    

  		












Also available in:  Unified diff