[isabelle-dev] Sporadic failures of CoreC++

[Jasmin Christian Blanchette]

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).

Cheers,

Jasmin