Am 05.05.2014 um 11:17 schrieb Johannes Hölzl <hoe...@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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
