source: Deliverables/D5.1/cost-plug-in/wrapper/tests/parity/Makefile @ 1462

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

Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.

File size: 261 bytes
Line 
1
2gen :
3        @lustre parity.lus verif_parity -v
4        @ocmin verif_parity.oc -v
5        @poc verif_parity_min.oc
6
7genmin :
8        @lustre parity.lus verif_parity -v -demand
9        @poc verif_parity.oc
10
11verif :
12        @lesar parity.lus verif_parity -v
13
14clean :
15        /bin/rm -f *.ec *.oc *.c *.h *.bak
Note: See TracBrowser for help on using the repository browser.