[isabelle-dev] Assertion error in Poly/ML 5.6

[Lars Hupel]

This is an assertion error from Poly/ML:

poly: scanaddrs.cpp:218: void
ScanAddress::ScanAddressesInRegion(PolyWord*, PolyWord*): Assertion
`obj->ContainsNormalLengthWord()' failed.

As far as I understand this is on Poly/ML 5.6 and nothing changed in the
affected session. It may be spurious.

-------- Forwarded Message --------
Subject: [Isabelle-ci] Build failure in Isabelle+AFP (slow)
Date: Tue, 14 Mar 2017 16:34:30 +0100 (CET)
From: Isabelle/Jenkins <ci at isabelle.systems>
To: isabelle-ci at mail46.informatik.tu-muenchen.de

The Isabelle build failed. See the log at:
https://ci.isabelle.systems/jenkins/job/isabelle-nightly-slow/369/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: build.log
Type: application/octet-stream
Size: 58636 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20170315/73652b33/attachment-0001.obj>
-------------- next part --------------
_______________________________________________
Isabelle-ci mailing list
Isabelle-ci at mail46.informatik.tu-muenchen.de
https://mailman46.informatik.tu-muenchen.de/mailman/listinfo/isabelle-ci