Why does coyote find no bugs in this code? #388
-
Hi,
And I expect that coyote will find a bug since
Why does coyote find no bugs here? Are there some limitations? |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment
-
Coyote is not designed to explore low-level data races. For the bug to manifest in your code, there needs to be a context switch after
I would expect that coyote will find the bug then. By default, coyote only explores context switches at synchronization points (acquire/release a lock) or at |
Beta Was this translation helpful? Give feedback.
Coyote is not designed to explore low-level data races. For the bug to manifest in your code, there needs to be a context switch after
Number
has been read but before the incremented value is stored back to it. Coyote will not explore such context switches on its own. You can force it as follows:I would expect that coyote will find the bug then.
By default, coyote only explores context switches at synchronization points (acquire/release a lock) or at
Task
APIs.