Ada GNAT CE 2020不'；t识别-gnatt开关

见中的问题

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

---

任何知道如何继续的人？

-gnatt

是转储ASIS信息的交换机，AdaCore正在远离ASIS（就我们不受支持的用户而言，他们已经离开了）

gnattest

是

libadalang-tools

中支持的工具之一，它依赖于

libadalang

这两个版本的源代码都可以在AdaCore社区的下载页面上找到，但是由于三个月前gnattest才从正在进行的工作中移动过来，下载页面上的最新版本是4月30日，我认为您必须咬紧牙关从AdaCore社区下载，而且您还需要Python 3.8+

---

我在macOS上构建

libadalang

和

-tools

的唯一经验，因此我认为我无法提供更多帮助。

我尝试使用gnattest，但它是一个有根本缺陷的系统；它尝试生成框架样板代码，然后将内容插入其中。但是，每个函数只能生成一个测试，当您修改已测试的函数时，框架代码将失效。最好是简单地使用它编写测试；首先，它不需要所有的样板代码。