Project

General

Profile

Download (3.29 KB) Statistics
| Branch: | Tag: | Revision:
1
EXCLUDE_QUERY_DIR
2
B /home/corentin/.opam/default/lib/apron
3
B /home/corentin/.opam/default/lib/base
4
B /home/corentin/.opam/default/lib/base/base_internalhash_types
5
B /home/corentin/.opam/default/lib/base/caml
6
B /home/corentin/.opam/default/lib/base/shadow_stdlib
7
B /home/corentin/.opam/default/lib/biniou
8
B /home/corentin/.opam/default/lib/easy-format
9
B /home/corentin/.opam/default/lib/gmp
10
B /home/corentin/.opam/default/lib/jane-street-headers
11
B /home/corentin/.opam/default/lib/num
12
B /home/corentin/.opam/default/lib/ocamlgraph
13
B /home/corentin/.opam/default/lib/ppx_compare/runtime-lib
14
B /home/corentin/.opam/default/lib/ppx_enumerate/runtime-lib
15
B /home/corentin/.opam/default/lib/ppx_hash/runtime-lib
16
B /home/corentin/.opam/default/lib/ppx_inline_test/config
17
B /home/corentin/.opam/default/lib/ppx_inline_test/runtime-lib
18
B /home/corentin/.opam/default/lib/ppx_sexp_conv/runtime-lib
19
B /home/corentin/.opam/default/lib/sexplib0
20
B /home/corentin/.opam/default/lib/time_now
21
B /home/corentin/.opam/default/lib/tiny
22
B /home/corentin/.opam/default/lib/yojson
23
B /home/corentin/.opam/default/lib/z3
24
B /home/corentin/.opam/default/lib/zarith
25
B /usr/lib/ocaml
26
B ../_build/default/bin/.lustre_compiler.eobjs/byte
27
B ../_build/default/bin/.lustre_testgen.eobjs/byte
28
B ../_build/default/bin/.lustre_verifier.eobjs/byte
29
B ../_build/default/lib/.lustrec.objs/byte
30
S /home/corentin/.opam/default/lib/apron
31
S /home/corentin/.opam/default/lib/base
32
S /home/corentin/.opam/default/lib/base/base_internalhash_types
33
S /home/corentin/.opam/default/lib/base/caml
34
S /home/corentin/.opam/default/lib/base/shadow_stdlib
35
S /home/corentin/.opam/default/lib/biniou
36
S /home/corentin/.opam/default/lib/easy-format
37
S /home/corentin/.opam/default/lib/gmp
38
S /home/corentin/.opam/default/lib/jane-street-headers
39
S /home/corentin/.opam/default/lib/num
40
S /home/corentin/.opam/default/lib/ocamlgraph
41
S /home/corentin/.opam/default/lib/ppx_compare/runtime-lib
42
S /home/corentin/.opam/default/lib/ppx_enumerate/runtime-lib
43
S /home/corentin/.opam/default/lib/ppx_hash/runtime-lib
44
S /home/corentin/.opam/default/lib/ppx_inline_test/config
45
S /home/corentin/.opam/default/lib/ppx_inline_test/runtime-lib
46
S /home/corentin/.opam/default/lib/ppx_sexp_conv/runtime-lib
47
S /home/corentin/.opam/default/lib/sexplib0
48
S /home/corentin/.opam/default/lib/time_now
49
S /home/corentin/.opam/default/lib/tiny
50
S /home/corentin/.opam/default/lib/yojson
51
S /home/corentin/.opam/default/lib/z3
52
S /home/corentin/.opam/default/lib/zarith
53
S /usr/lib/ocaml
54
S .
55
S ../lib
56
S ../lib/backends
57
S ../lib/backends/Ada
58
S ../lib/backends/C
59
S ../lib/backends/EMF
60
S ../lib/backends/Horn
61
S ../lib/backends/VHDL
62
S ../lib/checks
63
S ../lib/features/machine_types
64
S ../lib/parsers
65
S ../lib/plugins/mpfr
66
S ../lib/plugins/scopes
67
S ../lib/tools/importer
68
S ../lib/tools/seal
69
S ../lib/tools/tiny
70
S ../lib/tools/zustre
71
S ../lib/utils
72
FLG -ppx '/home/corentin/n7/2A/stage/lustrec_new/_build/default/.ppx/bfcab61e6a21ecf6d2f80029fc1ef484/ppx.exe --as-ppx --cookie '\''inline_tests="enabled"'\'''
73
FLG -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -w -warn-error -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -w -warn-error -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -w -warn-error
(1-1/5)