projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
promise: rename increment_threads() -> eliminate_thread()
[model-checker.git]
/
promise.h
diff --git
a/promise.h
b/promise.h
index ce5bea168f60cfacc4ee01efaad343a1db2c9039..8a0ac590665e4454b22017ab516b5aad27c1f730 100644
(file)
--- a/
promise.h
+++ b/
promise.h
@@
-26,11
+26,11
@@
class Promise {
read(act),
write(NULL)
{
read(act),
write(NULL)
{
-
increment_threads
(act->get_tid());
+
eliminate_thread
(act->get_tid());
}
modelclock_t get_expiration() const { return expiration; }
ModelAction * get_action() const { return read; }
}
modelclock_t get_expiration() const { return expiration; }
ModelAction * get_action() const { return read; }
- bool
increment_threads
(thread_id_t tid);
+ bool
eliminate_thread
(thread_id_t tid);
bool has_sync_thread(thread_id_t tid) {
unsigned int id = id_to_int(tid);
bool has_sync_thread(thread_id_t tid) {
unsigned int id = id_to_int(tid);