projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
edits
[c11tester.git]
/
execution.h
diff --git
a/execution.h
b/execution.h
index 5a6c40ac1a61d5a5ce8d013987a79b2f908c87aa..22f694c9c193951dd9cc2405c834c298e7fee40d 100644
(file)
--- a/
execution.h
+++ b/
execution.h
@@
-40,9
+40,9
@@
public:
Thread * take_step(ModelAction *curr);
- void print_summary()
const
;
+ void print_summary();
#if SUPPORT_MOD_ORDER_DUMP
- void dumpGraph(char *filename)
const
;
+ void dumpGraph(char *filename);
#endif
void add_thread(Thread *t);