Project

General

Profile

Bug #57 ยป error.lus

Hamza Bourbouh, 10/06/2017 08:22 PM

 
1
node test (UpLim_1_1: real) returns (Out_1_1: bool)
2
var 
3
    ic_2: bool;
4
    ic_1: bool;
5
    RelationalOperator_1_1:bool;
6
    UnitDelay1_1_1: bool;
7
let    
8
     RelationalOperator_1_1 = (UpLim_1_1 <= 0.0);
9
       UnitDelay1_1_1 = (if ic_1 then
10
                         false else
11
                         ic_2);
12
       ic_2 = pre RelationalOperator_1_1;
13
       ic_1 = (true -> false);
14
       Out_1_1 = UnitDelay1_1_1;
15
       
16
tel  
17

    
18
node top(x:real)
19
returns(OK:bool)
20
let
21
    OK = test(x);
22
tel
    (1-1/1)