文件名称:libaunit-lab:探索libaunit的玩具项目
文件大小:6KB
文件格式:ZIP
更新时间:2024-03-03 20:46:23
Ada
libaunit实验室 一个玩具项目,用于探索测试框架。 建立 $ gprbuild -f -p -P harness 跑 $ ./bin/harness OK Calcul Unit Tests : Test Suma function OK Calcul Unit Tests : Test Divisio function Total Tests Run: 2 Successful Tests: 2 Failed Assertions: 0 Unexpected Errors: 0 标志 默认情况下,所有这些标志都是由自动生成的,但-O0原本是-O2 ,但我不知道使用-g标志有何意义。 旗 含义 -j0 使用所有内核进行编译 -G 用调试符号编译 -gnatVa 打开所有有效性检查 -gnatwa 打开大多数(wtf?)可选警告 -O0 禁用所有优化 -gnata
【文件预览】:
libaunit-lab-master
----.gitignore(22B)
----README.md(1KB)
----tests()
--------harness.adb(701B)
--------calcul-tests.ads(236B)
--------calcul-tests.adb(923B)
----.vscode()
--------settings.json(145B)
----alire.lock(970B)
----src()
--------calcul.ads(164B)
--------calcul.adb(288B)
----calcul.gpr(519B)
----harness.gpr(3KB)
----alire.toml(292B)