From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: Where is gnatcheck documented?
Date: Tue, 26 Sep 2017 11:49:03 -0700 (PDT)
Date: 2017-09-26T11:49:03-07:00 [thread overview]
Message-ID: <d25091a4-a883-49a0-8a11-6a0a6e1cd1f3@googlegroups.com> (raw)
In-Reply-To: <oqe70v$10la$1@gioia.aioe.org>
On Tuesday, September 26, 2017 at 11:41:40 AM UTC-7, Victor Porton wrote:
> The man page of gnatcheck directs to its output with "-h" flag for the list
> of rules.
>
> gnatcheck -h
>
> indeed produces a long list of rules, but where can I find documentation for
> these rules? Does this documentation exist at all?
http://docs.adacore.com/asis-docs/html/gnatcheck_rm/gnatcheck_rm.html
Anh Vo
prev parent reply other threads:[~2017-09-26 18:49 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-09-26 18:41 Where is gnatcheck documented? Victor Porton
2017-09-26 18:49 ` Anh Vo [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox