* Where is gnatcheck documented?
@ 2017-09-26 18:41 Victor Porton
2017-09-26 18:49 ` Anh Vo
0 siblings, 1 reply; 2+ messages in thread
From: Victor Porton @ 2017-09-26 18:41 UTC (permalink / raw)
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?
--
Victor Porton - http://portonvictor.org
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Where is gnatcheck documented?
2017-09-26 18:41 Where is gnatcheck documented? Victor Porton
@ 2017-09-26 18:49 ` Anh Vo
0 siblings, 0 replies; 2+ messages in thread
From: Anh Vo @ 2017-09-26 18:49 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2017-09-26 18:49 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-09-26 18:41 Where is gnatcheck documented? Victor Porton
2017-09-26 18:49 ` Anh Vo
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox