Hi all,
the latest failures of the isabelle test of the form:
/tmp/isabelle-isatest25132/Quickcheck_Narrowing6407933/Generated_Code.hs:XXXX:XX:
Conflicting definitions for `ad'
Bound at:
/tmp/isabelle-isatest25132/Quickcheck_Narrowing6407933/Generated_Code.hs:XXXX:XX-XX
/tmp/isabelle-isatest25132/Quickcheck_Narrowing6407933/Generated_Code.hs:XXXX:XX-XX
In a case alternative
causing quickcheck to fail in ex/Tree23.thy is not related to any modifications
in quickcheck, but is probably related to some recent changes in the code
generator or some setup on macbroy21.
Lukas
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
