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 |
|