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.

Sign up for GitHub

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

30 Open 65 Closed
30 Open 65 Closed
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
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

"Object reference not set to an instance of an object" when running the rewriter.
#506 opened Jun 25, 2024 by redknightlois
System.NullReferenceException when using Timer in test class
#504 opened Apr 13, 2024 by DanielHabenicht
Unable to load one or more of the requested types
#491 opened Nov 30, 2023 by WeihanLi
Deadlock if Interleave point inside a static constructor
#488 opened Aug 17, 2023 by kripergvg
Potential bug with race condition
#484 opened Jun 24, 2023 by Ulimo
4
Exception when trying to rewrite WPF .NET 6.0 application; unable to find PresentationCore
#474 opened Apr 15, 2023 by loftyinclination
5
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
13
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
3
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
2
support best-effort replay with systematic fuzzing
#309 opened Mar 17, 2022 by pdeligia
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
expose API in testing engine to notify if the test ended due to uncontrolled concurrency area-systematic-testing Issues related to systematic testing
#261 opened Dec 6, 2021 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
give better warnings if tester detects a [Test] method without the appropriate signature area-cli Issues related to the command line tool
#238 opened Oct 15, 2021 by pdeligia
1
2
automatically rewrite popular unit testing frameworks area-binary-rewriting Issues related to binary rewriting
#233 opened Oct 15, 2021 by pdeligia
1
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
2
ProTip! Exclude everything labeled bug with -label:bug.