ADA-前后条件不起作用？

Question

我试图根据自己在ada的前后条件学习。

Answer 1

[如果使用GNAT（看起来是jdoodle的默认设置），则需要启用断言。将-gnata添加为命令行参数。

编辑：我对jdoodle不太了解，但似乎只有在运行程序时，它才能接受编译器的参数...

相反，您可以在程序中添加pragma Assertion_Policy，如下所示：

procedure Tp2q4 is
   pragma Assertion_Policy(Check);

   --...