ADA - 前后条件不起作用？

Question

我正在尝试根据自己的 ada 前后条件进行学习。

Answer 1

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

编辑：我对 jdoodle 了解不多，但它似乎不能将参数传递给编译器，只有在运行程序时...

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

procedure Tp2q4 is
   pragma Assertion_Policy(Check);

   --...