projects
/
satune.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
compact
(merge:
f2bd73e
57efcd4
)
Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
author
Hamed Gorjiara
<hgorjiar@uci.edu>
Wed, 25 Oct 2017 21:04:52 +0000
(14:04 -0700)
committer
Hamed Gorjiara
<hgorjiar@uci.edu>
Wed, 25 Oct 2017 21:04:52 +0000
(14:04 -0700)
1
2
src/mymemory.h
patch
|
diff1
|
diff2
|
blob
|
history
diff --combined
src/mymemory.h
index 92fb0fed609057c3fd40132bcf507986489133cd,766e6f65675464a17840cbaf80bef665a349ead7..97e177ce07a626a24bbdbb73bb46c2e08d7992fc
---
1
/
src/mymemory.h
---
2
/
src/mymemory.h
+++ b/
src/mymemory.h
@@@
-19,6
-19,8
+19,8
@@@
#include "config.h"
+ #define SATCHECK_CONFIG
+
/*
void * ourmalloc(size_t size);
void ourfree(void *ptr);
@@@
-26,7
-28,7
+28,7
@@@
void * ourrealloc(void *ptr, size_t size);
*/
-#if
def SATCHECK_CONFIG
+#if
1
void *model_malloc(size_t size);
void model_free(void *ptr);
void *model_calloc(size_t count, size_t size);