Skip to content

Issues: microsoft/coyote

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Potential bug with race condition
#484 opened Jun 24, 2023 by Ulimo
race in updating coverage report bug Something isn't working
#464 opened Mar 27, 2023 by pdeligia
InvalidProgramException while trying coyote on my library. area-binary-rewriting Issues related to binary rewriting bug Something isn't working
#433 opened Nov 23, 2022 by Kuinox
fix send event logs when actor runtime has terminated area-actors Issues related to the actor library bug Something isn't working
#356 opened Jul 14, 2022 by pdeligia
include the test method name in the schedule file area-systematic-testing Issues related to systematic testing
#349 opened Jun 16, 2022 by pdeligia
fix compatibility issue with VS Code coverage and assembly rewriting area-binary-rewriting Issues related to binary rewriting bug Something isn't working
#345 opened Jun 14, 2022 by pdeligia
document supported/unsupported Task APIs and synchronization primitives area-documentation Improvements or additions to documentation
#335 opened May 8, 2022 by pdeligia
Documentation describing different exploration strategies? area-documentation Improvements or additions to documentation
#332 opened Apr 26, 2022 by jhwj9617
support best-effort replay with partially controlled concurrency area-systematic-testing Issues related to systematic testing
#308 opened Mar 17, 2022 by pdeligia
add some logs for deferred events and nothing else on the queue area-actors Issues related to the actor library
#290 opened Feb 22, 2022 by pdeligia
handle ThreadInterruptedException for aspnet area-runtime Issues related to the Coyote runtime bug Something isn't working
#266 opened Jan 6, 2022 by pdeligia
resolve already rewritten types in a dependent assembly area-binary-rewriting Issues related to binary rewriting
#254 opened Nov 18, 2021 by pdeligia
harden actor queues against reentrancy by the same thread area-actors Issues related to the actor library
#251 opened Nov 10, 2021 by pdeligia
make sure test setup methods (when multiple) are associated with correct test area-cli Issues related to the command line tool
#240 opened Oct 18, 2021 by pdeligia
automatically rewrite popular unit testing frameworks area-binary-rewriting Issues related to binary rewriting
#233 opened Oct 15, 2021 by pdeligia
integration with dotnet test area-cli Issues related to the command line tool
#232 opened Oct 15, 2021 by pdeligia
tester invoke all possible tests area-cli Issues related to the command line tool
#231 opened Oct 15, 2021 by pdeligia
ProTip! Exclude everything labeled bug with -label:bug.