X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.cc;h=c1a5308712160ab4b3e1f2e3891b98d6e24466ca;hb=563d0da13f38cf55a88673c2a712b797d4938df1;hp=53b6bccf790df471600a8f555f1ed17249a72443;hpb=db17cfb8915ef5b6b2977360c05a92b1b7e01a3e;p=c11tester.git

diff --git a/execution.cc b/execution.cc
index 53b6bccf..c1a53087 100644
--- a/execution.cc
+++ b/execution.cc
@@ -1819,7 +1819,7 @@ ClockVector * ModelExecution::computeMinimalCV() {
 	//Thread 0 isn't a real thread, so skip it..
 	for(unsigned int i = 1;i < thread_map.size();i++) {
 		Thread * t = thread_map[i];
-		if (t->get_state() == THREAD_COMPLETED)
+		if (t->is_complete())
 			continue;
 		thread_id_t tid = int_to_id(i);
 		ClockVector * cv = get_cv(tid);