Hi all, Is it possible to measure the memory usage involved in a particular function call from within PolyML 5.5.0?
I'm trying to figure out how much memory my vote-counting function uses to count a variety of lists of votes. I'm randomly generating the vote lists, and the functions I'm using for generating the lists seem to use more memory than the count itself. I can't measure what I need with OS tools because they return the memory used to generate the vote lists (because it's larger). I'm not sure where to look for functions of this nature, or if they're even provided in PolyML. Any help appreciated. Thanks in advance, Tom _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
