ADA - 前后條件不起作用？

Question

我正在嘗試根據自己的 ada 前后條件進行學習。

Answer 1

如果使用 GNAT（看起來它是 jdoodle 的默認設置），則需要啟用斷言。 添加-gnata作為命令行參數。

編輯：我對 jdoodle 了解不多，但它似乎不能將參數傳遞給編譯器，只有在運行程序時...

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

procedure Tp2q4 is
   pragma Assertion_Policy(Check);

   --...