From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Re: GNATProve - interactions between units
Date: Sat, 24 Oct 2015 13:07:11 -0700 (PDT)
Date: 2015-10-24T13:07:11-07:00 [thread overview]
Message-ID: <9b4e2676-f0a9-40ab-8ca0-03c9b66043d8@googlegroups.com> (raw)
In-Reply-To: <0fa327b0-fdac-4419-8bc1-237a0aa822ed@googlegroups.com>
> It may be down to the size of the problem space being analysed.
Interesting idea. I will increase the timeout limit and the max number of proof steps, which seem to be the only tuneable parameters that might be relevant here.
--
Maciej Sobczak * http://www.inspirel.com
next prev parent reply other threads:[~2015-10-24 20:07 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-10-23 10:25 GNATProve - interactions between units Maciej Sobczak
2015-10-24 11:40 ` Martin
2015-10-24 20:07 ` Maciej Sobczak [this message]
2015-10-25 13:27 ` Phil Thornley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox