From: Brian Norris <banorris@uci.edu>
Date: Tue, 24 Apr 2012 20:22:38 +0000 (-0700)
Subject: common: introduce userMalloc() and userFree()
X-Git-Tag: pldi2013~501
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ee5a8df4c176af0f01dd2c47eecb092167f663f6;hp=ee5a8df4c176af0f01dd2c47eecb092167f663f6;p=model-checker.git

common: introduce userMalloc() and userFree()

These are stubs for now, but I will need these.
---