X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=execution.cc;h=cf4c9028c7c804c5031f77f433ceb9aca6cd72aa;hp=94be82acea20edd255f56fe6312702a89686df41;hb=04a39b7be7672034249091a7df9a4c8407a8b787;hpb=9f4ad85b11b8995690bb13097c5515bcd44f3a09

diff --git a/execution.cc b/execution.cc
index 94be82ac..cf4c9028 100644
--- a/execution.cc
+++ b/execution.cc
@@ -66,7 +66,7 @@ ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler) :
 	mo_graph(new CycleGraph()),
 	fuzzer(new Fuzzer()),
 	thrd_func_list(),
-	thrd_func_inst_lists(),
+	thrd_func_act_lists(),
 	isfinished(false)
 {
 	/* Initialize a model-checker thread, for special ModelActions */
@@ -1654,7 +1654,7 @@ Thread * ModelExecution::take_step(ModelAction *curr)
 	ASSERT(curr);
 
 	/* Process this action in ModelHistory for records*/
-	//	model->get_history()->process_action( curr, curr->get_tid() );
+	model->get_history()->process_action( curr, curr->get_tid() );
 
 	if (curr_thrd->is_blocked() || curr_thrd->is_complete())
 		scheduler->remove_thread(curr_thrd);