[isabelle-dev] Sporadic failures of CoreC++

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Fri Dec 27 15:28:05 CET 2013

Hi Florian,

Am 27.12.2013 um 10:04 schrieb Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de>:

> But I am uncertain whether this timeout should be restricted to
> interactive mode anyway.
> Any suggestions?

I would suggest simply raising the timeout for that example. In "Nitpick_Examples", we have had hard-coded timeouts for years that have applied for both interactive and noninteractive sessions and this has worked very well (even though it's not very elegant).



More information about the isabelle-dev mailing list