Implement timedwait

[c11tester.git] / action.cc

diff --git a/action.cc b/action.cc
index 4cdca0d7a7272b2f4c6eef265ef34ca613bc0c3f..d8ce567039bfc451c13916aefc6d15b4b5211e38 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -251,6 +251,10 @@ bool ModelAction::is_wait() const {
        return type == ATOMIC_WAIT || type == ATOMIC_TIMEDWAIT;
 }
 
+bool ModelAction::is_timedwait() const {
+       return type == ATOMIC_TIMEDWAIT;
+}
+
 bool ModelAction::is_notify() const {
        return type == ATOMIC_NOTIFY_ONE || type == ATOMIC_NOTIFY_ALL;
 }