From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.36.221.144 with SMTP id t138mr4605344itf.37.1519310200247; Thu, 22 Feb 2018 06:36:40 -0800 (PST) X-Received: by 10.157.22.195 with SMTP id s3mr333087ots.13.1519310199917; Thu, 22 Feb 2018 06:36:39 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.linkpendium.com!news.linkpendium.com!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!o66no253146ita.0!news-out.google.com!s63ni906itb.0!nntp.google.com!w142no254641ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 22 Feb 2018 06:36:39 -0800 (PST) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=109.170.137.10; posting-account=BdhepwoAAAD2gYa9OWHpN5JW78SH4mVo NNTP-Posting-Host: 109.170.137.10 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <29d286a8-f740-4478-8619-8235f977665c@googlegroups.com> Subject: raised CONSTRAINT_ERROR : gnattest-skeleton-source_table.adb:1023 access check failed From: robinmoss@e2eservices.co.uk Injection-Date: Thu, 22 Feb 2018 14:36:40 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader02.eternal-september.org comp.lang.ada:50555 Date: 2018-02-22T06:36:39-08:00 List-Id: Hello, I've managed to get gnattest to run locally but I hit the above error when i try to generate stubs for my code. Anyone got an idea what could be causing this problem? the verbose output doesn't give me many leads. Any support would be appreciated gnattest firmware_host.gpr --stub -v src/rest/json/firmware-rest-v0_0_1.ads gnattest GPL 2017 (20170515) Copyright 2011-2017, AdaCore. [0] firmware-rest-v0_0_1.ads warning: (gnattest) firmware-rest-v0_0_1.ads:27:1: elaboration control pragma this can cause circularity in the test harness raised CONSTRAINT_ERROR : gnattest-skeleton-source_table.adb:1023 access check failed The line that has the error is: function Get_Project_Path (Project_Name : String) return String is begin return Project_File_Table.Element > (PF_Table, Project_Name).Path.all; end Get_Project_Path;