|Title||MPS unclear constraints on avgSize argument to PoolMV mps_pool_create|
|Assigned user||Richard Brooksby|
|Description||MPS unclear constraints on avgSize argument to PoolMV mps_pool_create|
As reported by [Jorge 2006-03-20], the comment in poolmv.h:
says "avgSize must not be less than extendBy".
This is wrong.
Furthermore: it is not clear what the constraint should be (see
Furthermore: all this documentation should be put into the reference
manual. (Note: If you do this, you will need to update the
hello-world example in:
because it explicitly discusses this misplaced documentation).
There is an aver in poolmv.c:
AVER(avgSize <= extendBy);
Is this the true constraint? Probably.
But we should check it through visually with the rest of the code.
|Evidence||[Jorge 2006-03-20] <|
|Created by||Richard Kistruck|
|Created on||2006‑05‑15 12:32:15|
|Last modified by||Gareth Rees|
|Last modified on||2013‑03‑19 12:02:00|
|History||2006-05-15 RHSK Created.|
2013-03-19 GDR Assigned to RB.