source: Deliverables/D2.2/8051/src/clight/clightLustreMain.mli @ 3673

Last change on this file since 3673 was 1490, checked in by ayache, 8 years ago

Function pointers fixed.

File size: 682 bytes
Line 
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
11val add : string -> int -> int -> int -> int -> Clight.program -> Clight.program
Note: See TracBrowser for help on using the repository browser.