Project

General

Profile

« Previous | Next » 

Revision 4174a469

Added by Guillaume Davy over 8 years ago

Correct some problem related to new bool encoding

View differences:

tcm_benchmarks/ALT2/ALT2_proof/ALT_2.lustrec.c
3 3 
#include "ALT_2.lustrec.h"
4 4 

  		




  5
  5
  
    
/* C code generated by main_lustre_compiler.native


  		




  6
  
  
    
   SVN version number 367


  		




  
  6
  
    
   SVN version number 393


  		




  7
  7
  
    
   Code is C99 compliant */


  		




  8
  8
  
    
   


  		




  9
  9
  
    
/* Imported nodes declarations */


  		












Also available in:  Unified diff