malloc: add myMalloc() and myFree()
[model-checker.git] / malloc.c
2012-04-05 Brian Norrismalloc: add myMalloc() and myFree()