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