On Tue, 20 Oct 2015, Gerwin Klein wrote:
Under the account isatest in ~/afp/log and ~/log.
This cumulative information over more than a decade actually quite
interesting.
It is the lasting result of continous burning of CPU cycles for Isabelle
tests.
Makarius
__
Under the account isatest in ~/afp/log and ~/log.
Cheers,
Gerwin
> On 20.10.2015, at 19:09, Lars Hupel wrote:
>
> Dear developers,
>
> does anyone know where the isatest and afptest logs are stored? I'd like
> to do some performance analysis over the last, say, one month. (If you
> have them in
Dear developers,
does anyone know where the isatest and afptest logs are stored? I'd like
to do some performance analysis over the last, say, one month. (If you
have them in your mail inbox, you can also forward them to me.)
Cheers
Lars
___
isabelle-dev
