Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / bench / distrib / misc / ex8_e8_376 / mutants / ex8_e8_376.mutant.n50.lus @ 53aa0cb0

History | View | Annotate | Download (705 Bytes)

1
node top
2
  (beacon: bool;
3
  second: bool)
4
returns
5
  (OK: bool);
6

    
7
var
8
  V19_late: bool;
9
  V20_early: bool;
10
  V63_diff: int;
11
  V64_incr: int;
12
  V65_PC: int;
13
  V53_beacon: bool;
14

    
15
let
16
  OK = (true -> ((not V19_late) and (pre V20_early)));
17
  V19_late = (false -> (if (pre V19_late) then (V63_diff < 0) else (V63_diff <= 
18
  -10)));
19
  V20_early = (false -> (if (pre V20_early) then (V63_diff > 0) else (V63_diff 
20
  >= 10)));
21
  V63_diff = (if false then 0 else (if (V53_beacon and second) then (V65_PC + 
22
  V64_incr) else V65_PC));
23
  V64_incr = (if (V53_beacon and (not second)) then 1 else (if (second and (not 
24
  V53_beacon)) then 2 else 0));
25
  V65_PC = (0 -> (pre V63_diff));
26
  V53_beacon = (not beacon);
27
tel
28