src/clight/clightLustreMain.mli

   1
   2 (** [add_lustre_main lustre_test lustre_test_cases lustre_test_cycles
   3     lustre_test_min_int lustre_test_max_int ast] adds a main function that tests
   4     a Lustre step function to a Clight AST. The file [lustre_test] contains
   5     CerCo information (e.g. the name of the cost variable). The integer
   6     [lustre_test_cases] is the number of test cases that are performed, and the
   7     integer [lustre_test_cycles] is the number of cycles per test
   8     case. [lustre_test_min_int] (resp. [lustre_test_max_int]) is the minimum
   9     (resp. maximum) integer value randomly generated during testing, and. *)
  10
  11 val add : string -> int -> int -> int -> int -> Clight.program -> Clight.program