Project

General

Profile

Revision fd5381b7 tests/zustre/simple_counter_cex.lus

View differences:

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

Also available in: Unified diff