projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99ca003) | patch
mymemory: add placeholder "snapshot_{calloc,malloc,free}" functions
authorBrian Norris <banorris@uci.edu>
Tue, 2 Oct 2012 00:11:52 +0000 (17:11 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 2 Oct 2012 00:40:18 +0000 (17:40 -0700)
commit928115156b5d083b02ab934e2b291781af16cc0f
treea4f44b0e654753ce7f5ffecf908f072a7eb59a00tree | snapshot
parent99ca0039c04d8c3dc000f7d3899d1d81564bc168commit | diff
mymemory: add placeholder "snapshot_{calloc,malloc,free}" functions

Eventually, we may want a separate heap for the model-checker's
snapshotted data (vs. user's snapshotted data), so create allocator
stubs for this. This allows us to begin annotating our malloc()'s
properly.
mymemory.h diff | blob | history
C11 Tester Tool Public Repository