projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Do not unset FuncInst locations when new executions start; check if execution numbers...
[c11tester.git]
/
funcinst.cc
diff --git
a/funcinst.cc
b/funcinst.cc
index 7f031d17d9060251992e7fd13c423e1abe6a9460..c89284a70fdeccbe996df43d6cd50b53e6d0a29a 100644
(file)
--- a/
funcinst.cc
+++ b/
funcinst.cc
@@
-1,7
+1,9
@@
#include "funcinst.h"
#include "funcinst.h"
+#include "model.h"
FuncInst::FuncInst(ModelAction *act, FuncNode *func_node) :
FuncInst::FuncInst(ModelAction *act, FuncNode *func_node) :
- single_location(true)
+ single_location(true),
+ execution_number(model->get_execution_number())
{
ASSERT(act);
ASSERT(func_node);
{
ASSERT(act);
ASSERT(func_node);