lustrec / bench / distrib / misc / stalmark_e8_64 / mutants / stalmark_e8_64.mutant.n121.lus @ 43a2cae9
History | View | Annotate | Download (414 Bytes)
1 |
node top |
---|---|
2 |
(x: bool) |
3 |
returns |
4 |
(OK: bool); |
5 |
|
6 |
var |
7 |
V4_a: bool; |
8 |
V5_b: bool; |
9 |
V6_c: bool; |
10 |
|
11 |
let |
12 |
OK = (((((((not V4_a) and (not V5_b)) and V6_c) and (((not V4_a) and V5_b) |
13 |
and (not V6_c))) or ((V4_a and (not V5_b)) and (not V6_c))) or ((V4_a and |
14 |
V5_b) and V6_c)) and (not ((V4_a and V5_b) and V6_c))); |
15 |
V4_a = (true -> (pre V6_c)); |
16 |
V5_b = (not (false -> (pre V4_a))); |
17 |
V6_c = (false -> (pre V5_b)); |
18 |
tel |
19 |
|