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

Lars Hupel hupel at in.tum.de
Wed Mar 15 11:49:55 CET 2017

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:
-------------- 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

More information about the isabelle-dev mailing list