我正在尝试学习 ada 中自己的前置条件和后置条件。
最佳答案
如果使用 GNAT(看起来它是 jdoodle 的默认设置)，您需要启用断言。添加 -gnata 作为命令行参数。
编辑: 我对 jdoodle 不太了解，但似乎它不能将参数传递给编译器，只有在运行程序时...
相反，您可以将 pragma Assertion_Policy 添加到您的程序中，如下所示:
procedure Tp2q4 is
pragma Assertion_Policy(Check);
--...
关于function - ADA - 前置条件和后置条件不起作用？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/60830495/