Project

General

Profile

« Previous | Next » 

Revision 782742b6

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

Merged unstable with seahorn

View differences:

src/options.ml
78 78
  [ "-d", Arg.Set_string dest_dir, "uses the specified \x1b[4mdirectory\x1b[0m as root for generated/imported object and C files <default: .>";
79 79
    "-I", Arg.Set_string include_dir, "sets include \x1b[4mdirectory\x1b[0m";
80 80
    "-node", Arg.Set_string main_node, "specifies the \x1b[4mmain\x1b[0m node";
81
    "-print-types", Arg.Set print_types, "prints node types";
82
    "-print-clocks", Arg.Set print_clocks, "prints node clocks";
83
    "-verbose", Arg.Set_int verbose_level, "changes verbose \x1b[4mlevel\x1b[0m <default: 1>";
84
    "-version", Arg.Unit print_version, " displays the version";
85
  ]
86

  
87
let lustrec_options =
88
   common_options @
89
  [ 
81 90
    "-init", Arg.Set delay_calculus, "performs an initialisation analysis for Lustre nodes <default: no analysis>";
82 91
    "-dynamic", Arg.Clear static_mem, "specifies a dynamic allocation scheme for main Lustre node <default: static>";
83 92
    "-check-access", Arg.Set check, "checks at runtime that array accesses always lie within bounds <default: no check>";

Also available in: Unified diff