factor codes in history.* and move it to funcnode.*
[c11tester.git] / funcnode.cc
1 #include "funcnode.h"
2
3 FuncInst::FuncInst(ModelAction *act) :
4         action(act)
5 {
6         ASSERT(act);
7         this->position = act->get_position();
8 }
9
10 FuncNode::FuncNode() :
11         func_insts()
12 {}
13