Revision 4174a469
Added by Guillaume Davy over 8 years ago
| tcm_benchmarks/ALT2/ALT2_proof/ALT_2.lustrec.h | ||
|---|---|---|
| 1 | 1 |
/* C code generated by main_lustre_compiler.native |
| 2 |
SVN version number 367
|
|
| 2 |
SVN version number 393
|
|
| 3 | 3 |
Code is C99 compliant */ |
| 4 | 4 |
|
| 5 | 5 |
#ifndef _ALT_2_LUSTREC |
Also available in: Unified diff
Correct some problem related to new bool encoding