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