diff options
author | bloodstalker <thabogre@gmail.com> | 2018-09-12 16:32:09 +0000 |
---|---|---|
committer | bloodstalker <thabogre@gmail.com> | 2018-09-12 16:32:09 +0000 |
commit | 1dfdeee85deabcb964438e2a1d96eb4d6d297cfd (patch) | |
tree | fd556eeb7adcd556b9f67e8809ee2a02f5d39650 /main.py | |
parent | finally fixed (diff) | |
download | faultreiber-1dfdeee85deabcb964438e2a1d96eb4d6d297cfd.tar.gz faultreiber-1dfdeee85deabcb964438e2a1d96eb4d6d297cfd.zip |
update
Diffstat (limited to '')
-rwxr-xr-x | main.py | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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") |