microsoft/coyote
View on GitHub ↗ ★ 1,603 C#
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
11 mentions on Hacker News by 7 people: 2 stories, 9 comments · first 2020-04-05 · latest 2024-07-09
20082026
-
…for even most trivial cases is enormous and makes my head hurt. Some scenarios can be addressed by https://github.com/microsoft/coyote which simplifies the task, but it is still challenging. Other than above, there exists an F#…
comment by neonsunset · 2024-07-09 · in The Deadlock Empire: An Interactive Guide to Locks -
in C# it's basically automatic https://github.com/microsoft/coyote/
comment by kriper · 2024-07-06 · in Properly testing concurrent data structures -
…is, if the issue persists. There's one that mentions F# submitted in 2020, but nothing else since: https://github.com/microsoft/coyote/issues/39 Edit: Whoops, meant to reference this one: https://stackoverflow.com/questions/61694051/how-to-…
comment by neonsunset · 2024-07-04 · in The sad state of property-based testing libraries -
…Java has exactly that, but I couldn't recall the project name. In the case of .NET, there is https://github.com/microsoft/coyote which works by rewriting IL to inject hooks that control concurrent execution state. It would have been much…
comment by neonsunset · 2024-07-04 · in The sad state of property-based testing libraries -
yes if your test are using a mock of the db ex: https://github.com/microsoft/coyote/blob/main/Samples/Accoun... you can simulate the races. The problem is your mock need to implement the same isolation level as your real DB and support…
comment by skyde · 2024-01-04 · in Does your test suite account for weak transaction isolation? -
…It seem to me the only way to really validate this is using tool like TLA+. Or something like https://github.com/microsoft/coyote
comment by skyde · 2024-01-04 · in Does your test suite account for weak transaction isolation? -
…out? If so, what have your experiences with it been like? [1] Also known as any network ever. [2] https://github.com/microsoft/coyote
comment by DylanSp · 2023-08-17 · in Turmoil, a framework for developing and testing distributed systems -
…to write the code in the post, it's good to know that this is a decidedly nontrivial problem. * https://github.com/microsoft/coyote
comment by DylanSp · 2023-05-25 · in Implementing a distributed key-value store on top of implementing Raft in Go -
This is similar to https://github.com/microsoft/coyote/
comment by cjlovett · 2020-05-24 · in Testing Distributed Systems with Deterministic Simulation (2014) [video]