[isabelle-dev] AFP statistics
makarius at sketis.net
Wed Jun 15 16:44:54 CEST 2011
On Tue, 17 May 2011, Gerwin Klein wrote:
> The AFP test is currently still running in Sydney and accumulating the
> usual data.
> I've copied the logs over to ~/afp/log on macbroy*
>> The traditional isatest data is now empty
> Right, I forgot about these.
> The plan is to move the afp test back to Munich when I'm in Munich in
> about two weeks. Then we should be back to the old routine.
> I'd prefer to run the test on a Linux machine. Is there one available
> with around 4 cores and lots of memory?
Did anything happen here?
~/afp/log seems to be unchanged since 17-May-2011.
The AFP logs help to keep an eye on performance for large applications,
i.e. to spot accidental bloat early.
More information about the isabelle-dev