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