projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb94be0) | patch
Do not allow a thread to stash the next pending action if its last action was a SLEEP...
authorweiyu <weiyuluo1232@gmail.com>
Fri, 1 Nov 2019 20:58:16 +0000 (13:58 -0700)
committerweiyu <weiyuluo1232@gmail.com>
Fri, 1 Nov 2019 20:58:16 +0000 (13:58 -0700)
commita72579537233ec7d21ac24d895b9cbe7cfe16f2d
tree100a2df478f4bb13a78a3186e97462da0bd5dd98tree | snapshot
parentcb94be05c3b0f333821bf9fdd840dea82cba4ed8commit | diff
Do not allow a thread to stash the next pending action if its last action was a SLEEP action. Fix the problem that when all the unfinished threads are sleeping (e.g. nanosleep), this execution is reported as redundant
execution.cc diff | blob | history
model.cc diff | blob | history
schedule.cc diff | blob | history
threads-model.h diff | blob | history
C11 Tester Tool Public Repository