Re: [polyml] Assertion failure in scanaddrs

[Ramana Kumar]

Oh you're right - thanks David.
(I think this is because 5.6 is the stable Debian package for the
regression machines. On my personal machine I use 5.7.1)

On 15 Jan 2018 20:35, "David Matthews" 
wrote:

> Are you running an old version of Poly/ML?  This looks familiar and the
> location of the assertion fault would suggest that it's 5.6.  There have
> been two releases since then.
>
> Regards,
> David
>
> On 15/01/2018 07:47, Ramana Kumar wrote:
>
>> I got this error building the CakeML regression test (
>> https://cakeml.org/regression.cgi/job/152):
>>
>> scanaddrs.cpp:218: void ScanAddress::ScanAddressesInRegion(PolyWord*,
>> PolyWord*): Assertion `obj->ContainsNormalLengthWord()' failed.
>>
>> Is this worth further investigation? I presume it's somehow due to high
>> memory pressure, though it'd be nice to be more robust to that with a
>> graceful fail.
>>
>>
>>
>> ___
>> polyml mailing list
>> polyml@inf.ed.ac.uk
>> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
>>
>>
___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Re: [polyml] Assertion failure in scanaddrs

[David Matthews]

Are you running an old version of Poly/ML?  This looks familiar and the 
location of the assertion fault would suggest that it's 5.6.  There have 
been two releases since then.


Regards,
David

On 15/01/2018 07:47, Ramana Kumar wrote:

I got this error building the CakeML regression test (
https://cakeml.org/regression.cgi/job/152):

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

Is this worth further investigation? I presume it's somehow due to high
memory pressure, though it'd be nice to be more robust to that with a
graceful fail.



___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml


___
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml