Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / tests / zustre / simple_counter_cex.lus @ fd5381b7

History | View | Annotate | Download (154 Bytes)

1
node top (reset: bool) returns (ok: bool)
2
var  cpt: int;
3
let
4
   cpt = if reset then 3 else 0 -> if reset then 0 else 1 + pre cpt;
5
   ok = cpt <> 2;  
6
tel