[isabelle-dev] Problem in AFP near 16e7d42ef7f4

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Thu Jun 25 15:00:58 CEST 2015


isabelle: 19c277ea65ae tip
afp: 16e7d42ef7f4 tip

Running Noninterference_Generic_Unwinding ...
*** Timeout
Noninterference_Generic_Unwinding FAILED
(see also
/mnt/home/haftmann/data/isabelle/master/heaps/polyml-5.5.2_x86-linux/log/Noninterference_Generic_Unwinding)

val it = (): unit
Loading theory "GenericUnwinding"
Proofs for inductive predicate(s) "rel_induct_auxp"
  Proving monotonicity ...
  Proving the introduction rules ...
  Proving the elimination rules ...
  Proving the induction rule ...
  Proving the simplification rules ...
### theory "GenericUnwinding"
### 1.941s elapsed time, 11.008s cpu time, 0.136s GC time

Any hints what could have gone wrong?

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20150625/25ef523b/attachment.asc>


More information about the isabelle-dev mailing list