[isabelle-dev] Sporadic failures of CoreC++
Jasmin Christian Blanchette
jasmin.blanchette at gmail.com
Fri Dec 27 15:28:05 CET 2013
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