merge

[c11tester.git] / execution.cc

diff --git a/execution.cc b/execution.cc
index cf4c9028c7c804c5031f77f433ceb9aca6cd72aa..70261b0faf7d35ca1a0694a0f3d6193b573bc84d 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -153,6 +153,11 @@ bool ModelExecution::should_wake_up(const ModelAction *curr, const Thread *threa
                if (fence_release && *(get_last_action(thread->get_id())) < *fence_release)
                        return true;
        }
+       if (asleep->is_sleep()) {
+               if (fuzzer->shouldWake(asleep))
+                       return true;
+       }
+
        return false;
 }
 
@@ -650,6 +655,9 @@ bool ModelExecution::check_action_enabled(ModelAction *curr) {
                if (!blocking->is_complete()) {
                        return false;
                }
+       } else if (curr->is_sleep()) {
+               if (!fuzzer->shouldSleep(curr))
+                       return false;
        }
 
        return true;