Project

General

Profile

Download (612 Bytes) Statistics
| Branch: | Tag: | Revision:
1
(executable
2
 (modes (best exe))
3
 (modules Lustre_compiler)
4
 (public_name lustrec)
5
 (name lustre_compiler)
6
 (libraries lustrec)
7
 (flags
8
  (:standard -w -warn-error))
9
 (preprocess
10
  (pps ppx_inline_test)))
11

    
12
(executable
13
 (modes (best exe))
14
 (modules Lustre_testgen)
15
 (public_name lustret)
16
 (name lustre_testgen)
17
 (libraries lustrec)
18
 (flags
19
  (:standard -w -warn-error))
20
 (preprocess
21
  (pps ppx_inline_test)))
22

    
23

    
24
(executable
25
 (modes (best exe))
26
 (modules Lustre_verifier)
27
 (public_name lustrev)
28
 (name lustre_verifier)
29
 (libraries lustrec)
30
 (flags
31
  (:standard -w -warn-error))
32
 (preprocess
33
  (pps ppx_inline_test)))
(2-2/5)