文件名称：fulcrum:SPARK中的支点实现
文件大小：6KB
文件格式：ZIP
更新时间：2024-05-18 13:55:38
Ada
SPARK中的支点实现和证明 这个小例子展示了SPARK中所谓的Fulcrum的实现和证明，以回答这一的第三个问题。 您可以使用验证证明，如下所示： $ gnatprove -P fulcrum --report=all --level=2 并使用编译并运行以下简单测试用例： $ gprbuild -p -P fulcrum $ ./obj/test_fulcrum
【文件预览】：
fulcrum-master
----fulcrum.gpr(184B)
----scripts()
--------install-dependencies.sh(348B)
----fulcrum.adb(5KB)
----test_fulcrum.adb(230B)
----.travis.yml(467B)
----fulcrum.ads(6KB)
----README.md(670B)