9 lines
108 B
Text
9 lines
108 B
Text
|
procedure UniversalAnswer(var a : Integer);
|
||
|
|
require
|
||
|
|
a = 42;
|
||
|
|
begin
|
||
|
|
// code here
|
||
|
|
ensure
|
||
|
|
a = 42;
|
||
|
|
end;
|