projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
reset memory locations of FuncInsts when new executions start
[c11tester.git]
/
history.h
diff --git
a/history.h
b/history.h
index 5f5e731840a647e73e70490b72b314d83d865fe7..36b584831fdcba9ac3f1112e700dcb6650b3f6f4 100644
(file)
--- a/
history.h
+++ b/
history.h
@@
-32,6
+32,7
@@
public:
void add_to_write_history(void * location, uint64_t write_val);
HashTable<void *, write_set_t *, uintptr_t, 4> * getWriteHistory() { return &write_history; }
+ void set_new_exec_flag();
void print_write();
void print_func_node();