Project

General

Profile

Revision 3d04f75e src/options.ml

View differences:

src/options.ml
59 59
    "-horn-query", Arg.Unit (fun () -> output := "horn"; horn_query:=true), "generate queries in generated Horn file. Enable the horn backend (work in progress)";
60 60
    "-print_reuse", Arg.Set print_reuse, "prints variable reuse policy";
61 61
    "-lustre", Arg.Unit (fun () -> output := "lustre"), "generates Lustre output, performing all active optimizations";
62
    "-riny", Arg.Unit (fun () -> output := "riny"; global_inline:=true), "generates Riny output";
62 63
    "-inline", Arg.Set global_inline, "inline all node calls (require a main node)";
63 64
    "-witnesses", Arg.Set witnesses, "enable production of witnesses during compilation";
64 65
    "-print_types", Arg.Set print_types, "prints node types";
......
80 81
  in
81 82
  dir
82 83

  
84

  
83 85
(* Local Variables: *)
84 86
(* compile-command:"make -C .." *)
85 87
(* End: *)

Also available in: Unified diff