7 lines
117 B
Text
7 lines
117 B
Text
PROGRAM assertions CONTEXT VOID
|
|
USE standard,environment
|
|
BEGIN
|
|
INT a := 43;
|
|
"Oops!" ASSERT ( a = 42 )
|
|
END
|
|
FINISH
|