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@isabelle.systems> To: isabelle...@mail46.informatik.tu-muenchen.de The Isabelle build failed. See the log at: https://ci.isabelle.systems/jenkins/job/isabelle-nightly-slow/369/
build.log
Description: Binary data
_______________________________________________ Isabelle-ci mailing list isabelle...@mail46.informatik.tu-muenchen.de https://mailman46.informatik.tu-muenchen.de/mailman/listinfo/isabelle-ci
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev