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-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
