[isabelle-dev] status (AFP)

[Jasmin Christian Blanchette]

Am 05.05.2014 um 11:17 schrieb Johannes Hölzl <hoelzl at in.tum.de>:

> Has anybody an idea why the AFP test for Probabilistic_Noninterference
> fails?
> 
> When I build it on my machine

Same on my machine, and same for Selection_Heap_Sort, Native_Word, and Launchbury: All work fine on my machine.

(HyperCTL has been broken since it has been introduced. We need Andrei to look at it.)

Jasmin