[polyml] Assertion `costMin > userGCRatio' failed

2016-01-27 Thread Phil Clayton
I am getting the following assertion failure with Poly/ML 5.6: eg_test: heapsizing.cpp:602: bool HeapSizeParameters::getCostAndSize(POLYUNSIGNED&, double&, bool): Assertion `costMin > userGCRatio' failed. To get some timing stats, I was running a test application repeatedly to take an averag

Re: [polyml] Assertion `costMin > userGCRatio' failed

2016-01-28 Thread David Matthews
Phil, On 27/01/2016 19:52, Phil Clayton wrote: I am getting the following assertion failure with Poly/ML 5.6: eg_test: heapsizing.cpp:602: bool HeapSizeParameters::getCostAndSize(POLYUNSIGNED&, double&, bool): Assertion `costMin > userGCRatio' failed. To get some timing stats, I was running a

Re: [polyml] Assertion `costMin > userGCRatio' failed

2016-01-28 Thread Phil Clayton
The values were indeed equal and the change to ASSERT(costMin >= userGCRatio); avoids the failure. I added code to print the values if they are equal and we get: costMin = 0.04943205418749 userGCRatio = 0.04943205418749 which is the nearest value to 1/9 for a d

Re: [polyml] Assertion `costMin > userGCRatio' failed

2016-01-28 Thread David Matthews
On 28/01/2016 16:17, Phil Clayton wrote: The values were indeed equal and the change to ASSERT(costMin >= userGCRatio); avoids the failure. I added code to print the values if they are equal and we get: costMin = 0.04943205418749 userGCRatio = 0.04943205418749