gnat

问题 I'm working on a huge code package (written dominantly in ada), which is an extreme mess. No Unit Tests are applied so far and for all the existing code, Unit tests must not be implemented. But our Team decided, that all the new code should be implemented together with tests. Within GPS there is the possibility to let GNATtest automatically generate test procedures for all functions and procedures in the project. But as written, we have to exclude all of the old code from this automated

问题 I'm working on a huge code package (written dominantly in ada), which is an extreme mess. No Unit Tests are applied so far and for all the existing code, Unit tests must not be implemented. But our Team decided, that all the new code should be implemented together with tests. Within GPS there is the possibility to let GNATtest automatically generate test procedures for all functions and procedures in the project. But as written, we have to exclude all of the old code from this automated

问题 I've recently started working on a project that requires my complier to be above GNAT 4.8.5 - When I go to: Help > About You can see that the version I'm using is 4.8.5 Also, when I run the gnatls -v command, I can see this... [parallels@localhost ~]$ gnatls -v GNATLS 4.8.5 20150623 (Red Hat 4.8.5-39) Copyright (C) 1997-2013, Free Software Foundation, Inc. Source Search Path: <Current_Directory> /usr/lib/gcc/x86_64-redhat-linux/4.8.5/adainclude/ Object Search Path: <Current_Directory> /usr

问题 When I try to generate unit tests in GNAT 2020 Community Edition (Windows 10 64 bit), I get an error on missing gnattest tool: could not locate gnattest . Same happens on Ubuntu 20.04 (in WSL) with package gnat-10: could not locate x86_64-linux-gnu-gnattest-10 . Is GNATtest not part of GNAT 2020 Community Edition, as shown on AdaCores website (https://www.adacore.com/gnatpro/comparison)? 回答1: Yes in 2020 Community Edition gnattest is not included. Main reason: gnattest is tool based on

问题 When I try to generate unit tests in GNAT 2020 Community Edition (Windows 10 64 bit), I get an error on missing gnattest tool: could not locate gnattest . Same happens on Ubuntu 20.04 (in WSL) with package gnat-10: could not locate x86_64-linux-gnu-gnattest-10 . Is GNATtest not part of GNAT 2020 Community Edition, as shown on AdaCores website (https://www.adacore.com/gnatpro/comparison)? 回答1: Yes in 2020 Community Edition gnattest is not included. Main reason: gnattest is tool based on

问题 I am writing a piece of software in SPARK Ada which requires the post-condition to verify that the function return value is equal to the summed values of an array. Upon proving the file where the function resides, I keep getting an error which doesn't quite add up, no pun intended (I will post screenshots of the code so as to allow a better look). The only acceptable values allowed in the array of size 10 are 0s or 1s. 回答1: In the example below (and opposed to the other answer), I separated

问题 I previously asked a question regarding accessibility checks being raised in Ada, which @Brian Drummond was kind enough to awnser. The accessibility check was in a function, now I have a similair problem within a procedure; any guidance as to why this is would be greatly appreciated. The code I am working on has been taken from here: https://github.com/raph-amiard/ada-synth-lib The code in main file below is from the the Simple_Sine example which can be found here: https://github.com/raph

问题 I downloaded the GNAT Community 2019 and have installed on my Mac in my home folder "/Users/leon/opt/GNAT" I run the command "gps" in the directory "/Users/leon/opt/GNAT/2019/bin". And GPS showed up, then I created a project, typed the "Hello World" code. Just as the Wikibook shows. with Ada.Text_IO; procedure Hello is begin Ada.Text_IO.Put_Line("Hello, world!"); end Hello; When I clicked the build button, the program just failed to build. The following is the building output. gprbuild -d -P

问题 I have installed gprbuild, xmlada, and gnatcoll. I am now attempting to install gnatcoll_postgres. Which I have downladed from here: https://github.com/AdaCore/gnatcoll-db/ Within the Postgres folder is a Makefile, which I execute like so... [parallels@localhost postgres]$ ls gnatcoll_postgres.gpr gnatcoll-sql-postgres-gnade.ads gnatcoll-sql-postgres.adb gnatcoll-sql-ranges.adb gnatcoll-sql-postgres.ads gnatcoll-sql-ranges.ads gnatcoll-sql-postgres-builder.adb Makefile gnatcoll-sql-postgres

问题 I have downloaded this program from Github: https://github.com/raph-amiard/ada-synth-lib I have attemted the first example and I am presented with an exception. If anybody would be able to give me an insight into why this is, it would be massively appreciated. I've been stumped on this for a long time and I'm really keen to get this working. The error I recieve is: raised PROGRAM_ERROR : waves.adb:110 accessibility check failed Here is the main file: with Waves; use Waves; with Write_To