1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
Warning: <standard input>, line 37 (smod MAIN): left-hand side of strategy
definition
sd st1 := idle .
would be instantiated to match true by a strategy to expression mapping. The
definition would be ill-formed and thus it cannot be used.
Warning: <standard input>, line 20 (smod WRONG): variable E:Bool is used before
it is bound in strategy definition:
csd sb3(true) := idle if E:Bool = E:Bool .
==========================================
srewrite in MAIN : true using sb2 .
No solution.
rewrites: 0
==========================================
srewrite in MAIN : false using sb3(true) .
No solution.
rewrites: 0
sd sb2 := fail .
csd sb3(true) := idle if E:Bool = E:Bool .
Bye.
|
