]> matita.cs.unibo.it Git - pkg-cerco/frama-c-cost-plugin.git/blob - wrapper/tests/parity/Makefile
Imported Upstream version 0.1
[pkg-cerco/frama-c-cost-plugin.git] / wrapper / tests / parity / Makefile
1
2 gen :
3         @lustre parity.lus verif_parity -v
4         @ocmin verif_parity.oc -v
5         @poc verif_parity_min.oc
6
7 genmin :
8         @lustre parity.lus verif_parity -v -demand
9         @poc verif_parity.oc
10
11 verif :
12         @lesar parity.lus verif_parity -v
13
14 clean :
15         /bin/rm -f *.ec *.oc *.c *.h *.bak