projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add support for freeing threads
[c11tester.git]
/
execution.cc
diff --git
a/execution.cc
b/execution.cc
index 53b6bccf790df471600a8f555f1ed17249a72443..c1a5308712160ab4b3e1f2e3891b98d6e24466ca 100644
(file)
--- 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];
//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);
continue;
thread_id_t tid = int_to_id(i);
ClockVector * cv = get_cv(tid);