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