Project

General

Profile

« Previous | Next » 

Revision 9c654082

Added by Pierre-Loïc Garoche over 5 years ago

[lustresf] work in progress. Added global env with initial values

View differences:

src/tools/stateflow/models/model_simple.ml
3 3 

  		




  4
  4
  
    
let name = "simple"


  		




  5
  5
  
    

  		




  6
  
  
    
  let condition x = condition (Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (Corelang.const_of_bool true)))


  		




  
  6
  
    
let condition x = condition {


  		




  
  7
  
    
  expr = Corelang.mkexpr Location.dummy_loc (LustreSpec.Expr_const (Corelang.const_of_bool true));


  		




  
  8
  
    
  cinputs = [];


  		




  
  9
  
    
  coutputs = [];


  		




  
  10
  
    
  cvariables = [];


  		




  
  11
  
    
}


  		




  
  12
  
    
  


  		




  7
  13
  
    
  let action _ = no_action


  		




  8
  14
  
    

  		




  9
  15
  
    
let model : prog_t =


  		












Also available in:  Unified diff