1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
Warning: <standard input>, line 22 (view NatF1): variable J:Nat is used before
it is bound in condition of test strategy.
Warning: <standard input>, line 27 (view NatF2): lhs of strategy mapping has
non-variable argument 0.
Warning: <standard input>, line 32 (view NatG): using the same variable base
name N for two left hand side variables in an strategy mapping is not
allowed.
Warning: <standard input>, line 42 (smod MAIN): unusable view NatF1.
Warning: <standard input>, line 43 (smod MAIN): unusable view NatF2.
Warning: <standard input>, line 44 (smod MAIN): unusable view NatG.
Warning: <standard input>, line 41 (smod MAIN): this module contains one or
more errors that could not be patched up and thus it cannot be used or
imported.
Bye.
|
