GNAT CE 2020不识别-gnatt开关。

Question

3

在使用GNAT CE 2020的Windows 10上，按照链接中提到的ASIS包的指导构建gnattest时，尝试生成测试套件（gnattest -Pgpr-file）时仍然会出现错误，gnattest报告：gnat1：无效开关：-gnatt

有谁知道如何继续吗？

- Rob

我尝试使用gnattest，但它是一个根本有缺陷的系统；它试图生成骨架样板代码，然后您再将内容插入其中。但是您只能为每个函数生成一个测试，并且当您修改已测试的函数时，骨架代码将无效。最好使用AUnit编写测试；AUnit首先不需要所有那些样板代码。 - TamaMcGlinn

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Simon Wright · Accepted Answer

-gnatt是一个开关，它会转储ASIS（Ada语言中的标准接口规范）信息。AdaCore正在逐步淘汰ASIS（对于我们这些不受支持的用户而言，已经远离ASIS了）。

gnattest是libadalang-tools中支持的工具之一，它依赖于libadalang。

这两者的源代码都可以在AdaCore社区下载页面上获取，但由于gnattest只是在3个月前从Work-in-Progress中移出来的，而且下载页面上最新版本的日期是4月30日，所以我想你得硬着头皮从AdaCore的Github网站下载，并需要Python 3.8+。

我只在macOS上构建过libadalang和-tools，所以我想我无法提供更多帮助。