aboutsummaryrefslogtreecommitdiffstats
path: root/main.py
diff options
context:
space:
mode:
authorbloodstalker <thabogre@gmail.com>2018-09-12 16:32:09 +0000
committerbloodstalker <thabogre@gmail.com>2018-09-12 16:32:09 +0000
commit1dfdeee85deabcb964438e2a1d96eb4d6d297cfd (patch)
treefd556eeb7adcd556b9f67e8809ee2a02f5d39650 /main.py
parentfinally fixed (diff)
downloadfaultreiber-1dfdeee85deabcb964438e2a1d96eb4d6d297cfd.tar.gz
faultreiber-1dfdeee85deabcb964438e2a1d96eb4d6d297cfd.zip
update
Diffstat (limited to '')
-rwxr-xr-xmain.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/main.py b/main.py
index a6a886c..6f2fa31 100755
--- a/main.py
+++ b/main.py
@@ -583,8 +583,8 @@ class CodeGen(object):
def gen_release(self):
agg_source = open(self.aggregate_source, "a")
agg_source_h = open(self.aggregate_source_h, "a")
- agg_source_h.write("void release_all(void** void_train, uint64_t current_void_count);\n")
- agg_source.write("void release_all(void** void_train, uint64_t current_void_count) {\n")
+ agg_source_h.write("void release_all_"+self.argparser.args.name+"(void** void_train, uint64_t current_void_count);\n")
+ agg_source.write("void release_all_"+self.argparser.args.name+"(void** void_train, uint64_t current_void_count) {\n")
agg_source.write("for (int i=current_void_count-1;i>=0;--i) {\n")
agg_source.write("free(void_train[i]);\n}\n")
agg_source.write("free(void_train);\n")