8 lines
85 B
Text
8 lines
85 B
Text
|
MODULE Assertions;
|
||
|
|
VAR
|
||
|
|
a: INTEGER;
|
||
|
|
BEGIN
|
||
|
|
a := 40;
|
||
|
|
ASSERT(a = 42);
|
||
|
|
END Assertions.
|