[isabelle-dev] status (AFP)

Johannes Hölzl hoelzl at in.tum.de
Mon May 5 11:17:27 CEST 2014


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
> 




More information about the isabelle-dev mailing list