当我尝试在GNAT 2020社区版(Windows 10 64位)中生成单元测试时,我收到了一个缺少gnattest工具的错误:
请问,GNATtest是否不是AdaCore网站上所示的GNAT 2020 Community Edition的一部分(https://www.adacore.com/gnatpro/comparison)?
could not locate gnattest
。使用gnat-10包在Ubuntu 20.04(WSL中)上也会出现同样的情况:could not locate x86_64-linux-gnu-gnattest-10
。请问,GNATtest是否不是AdaCore网站上所示的GNAT 2020 Community Edition的一部分(https://www.adacore.com/gnatpro/comparison)?