[isabelle-dev] status (AFP)

[Johannes Hölzl]

I use "isabelle afp_build Probabilistic_Noninterference" to build it,
which includes the document generation. So it is possible that the
document generation on the macbroy2 is different from my setup.

Looking into the reports attached to the status email, I also see that
the log for Probabilistic_Noninterference is missing!


 - Johannes


Am Montag, den 05.05.2014, 11:18 +0200 schrieb Dmitriy Traytel:
> Could it be the document preparation?
> 
> Dmitriy
> 
> Am 05.05.2014 11:17, schrieb Johannes Hölzl:
> > Has anybody an idea why the AFP test for Probabilistic_Noninterference
> > fails?
> >
> > When I build it on my machine with either the combination in the email
> > (i.e. AFP acd2cc051b4f and Isabelle 52e5bf245b2a) or a recent hg version
> > (AFP a0a65428715f and Isabelle d940ad3959c5) it works without problems.
> >
> >   - Johannes
> >
> > Am Montag, den 05.05.2014, 07:50 +0200 schrieb Isabelle :
> >> The status of the following AFP entries changed or remains FAIL:
> >> [Selection_Heap_Sort] is still on FAIL.
> >> [Native_Word] is still on FAIL.
> >> [HyperCTL] is still on FAIL.
> >> [Launchbury] is still on FAIL.
> >> [Probabilistic_Noninterference] is still on FAIL.
> >>
> >> Full entry status at http://afp.sourceforge.net/status.shtml
> >>
> >> AFP version: development -- hg id acd2cc051b4f
> >> Isabelle version: devel -- hg id 52e5bf245b2a
> >> Test ended on: macbroy2, Mon May  5 07:50:12 CEST 2014.
> >>
> >> Have a nice day,
> >>    isatest
> >>
> >
> > _______________________________________________
> > isabelle-dev mailing list
> > isabelle-dev at in.tum.de
> > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>