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