Details | Compare with Previous | View Log
package Assert is
procedure Assert (Condition : Boolean);
end Assert;