Revision 3d04f75e src/options.ml
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