projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
impatomic: silence more clang warnings
[model-checker.git]
/
promise.h
diff --git
a/promise.h
b/promise.h
index 1560b5809dec9672310c5a65fb3c9c28f3841309..84d5aa49b3af7b8156ef4744e270f128c6a0cabf 100644
(file)
--- a/
promise.h
+++ b/
promise.h
@@
-31,6
+31,7
@@
class Promise {
bool eliminate_thread(thread_id_t tid);
void add_thread(thread_id_t tid);
bool thread_is_available(thread_id_t tid) const;
bool eliminate_thread(thread_id_t tid);
void add_thread(thread_id_t tid);
bool thread_is_available(thread_id_t tid) const;
+ unsigned int max_available_thread_idx() const;
bool has_failed() const;
void set_write(const ModelAction *act) { write = act; }
const ModelAction * get_write() const { return write; }
bool has_failed() const;
void set_write(const ModelAction *act) { write = act; }
const ModelAction * get_write() const { return write; }