microsoft/coyote

Issues

• "Object reference not set to an instance of an object" when running the rewriter.

  #506 opened 6 months ago by redknightlois
  0

• System.NullReferenceException when using Timer in test class

  #504 opened 8 months ago by DanielHabenicht
  0

• Reschdule after AutoResetEvent.Set

  #495 opened 9 months ago by aoli-al
  6

• Unable to load one or more of the requested types

  #491 opened a year ago by WeihanLi
  0

• Deadlock if Interleave point inside a static constructor

  #488 opened a year ago by kripergvg
  0

• Potential bug with race condition

  #484 opened a year ago by Ulimo
  4

• Rewrite throws NullReferenceException

  #336 opened 3 years ago by egil
  11

• Exception when trying to rewrite WPF .NET 6.0 application; unable to find PresentationCore

  #474 opened 2 years ago by loftyinclination
  5

• race in updating coverage report

  #464 opened 2 years ago by pdeligia
  0

• IAsyncEnumerable with ToArrayAsync System.BadImageFormatException

  #446 opened 2 years ago by andresgutierrez
  2

• InvalidProgramException while trying coyote on my library.

  #433 opened 2 years ago by Kuinox
  13

• fix compatibility issue with VS Code coverage and assembly rewriting

  #345 opened 2 years ago by pdeligia
  3

• disable periodic deadlock monitor when running in a debugger

  #386 opened 2 years ago by pdeligia
  0

• do not count skipped iterations (e.g., due to fallback) in iteration budget

  #262 opened 2 years ago by pdeligia
  0

• Improve logging infrastructure when used with xUnit

  #383 opened 2 years ago by suvamM
  4

• Documentation describing different exploration strategies?

  #332 opened 3 years ago by jhwj9617
  2

• Rewiring serializes task runs?

  #334 opened 3 years ago by jhwj9617
  9

• Question: What are the main reasons one would choose to migrate to Coyote's async actors programming model?

  #327 opened 3 years ago by jhwj9617
  2

• Can tests be rewired programmatically with the TestingEngine?

  #329 opened 3 years ago by jhwj9617
  4

• How to use the latest version?

  #333 opened 3 years ago by eddynaka
  3

• Why does coyote find no bugs in this code?

  #355 opened 2 years ago by MaximTkachenko
  1

• Question: About Coyote supporting .NET Core

  #359 opened 2 years ago
  2

• support best-effort replay with systematic fuzzing

  #309 opened 3 years ago by pdeligia
  0

• Error: Please provide RewritingOptions.AssemblyPaths

  #380 opened 2 years ago by luisgepeto
  3

• explore integration with the .NET ILogger

  #256 opened 2 years ago by pdeligia
  0

• Deadlock when using SemaphoreSlim

  #368 opened 2 years ago by Karql
  9

• coyote test failure: Could not load file or assembly 'Microsoft.VisualStudio.TestPlatform.TestFramework, Version=14.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'.

  #364 opened 2 years ago by hroe
  5

• fix send event logs when actor runtime has terminated

  #356 opened 2 years ago by pdeligia
  0

• include the test method name in the schedule file

  #349 opened 2 years ago by pdeligia
  0

• document supported/unsupported Task APIs and synchronization primitives

  #335 opened 3 years ago by pdeligia
  0

• Could not load file or assembly Microsoft.VisualStudio.TestPlatform.TestFramework

  #328 opened 3 years ago by jhwj9617
  0

• Unable to test optimistic concurrency for SQLite and EF core with Coyote

  #297 opened 3 years ago by chintanr97
  2

• fix aspnet WebApplicationFactory rewriting bug

  #315 opened 3 years ago by pdeligia
  1

• migrate to Google Analytics 4

  #316 opened 3 years ago by lovettchris
  1

• fallback to fuzzing if deadlock due to uncontrolled sync

  #310 opened 3 years ago by pdeligia
  0

• support best effort replay for concurrency fuzzing

  #234 opened 3 years ago by pdeligia
  1

• add new actor log API for handled exceptions

  #294 opened 3 years ago by pdeligia
  0

• support best-effort replay with partially controlled concurrency

  #308 opened 3 years ago by pdeligia
  0

• add some logs for deferred events and nothing else on the queue

  #290 opened 3 years ago by pdeligia
  0

• dotnet tool 6.0 support.

  #264 opened 3 years ago by blacksmith01
  3

• handle ThreadInterruptedException for aspnet

  #266 opened 3 years ago by pdeligia
  0

• give better warnings if tester detects a [Test] method without the appropriate signature

  #238 opened 3 years ago by pdeligia
  2

• expose API in testing engine to notify if the test ended due to uncontrolled concurrency

  #261 opened 3 years ago by pdeligia
  0

• resolve already rewritten types in a dependent assembly

  #254 opened 3 years ago by pdeligia
  0

• harden actor queues against reentrancy by the same thread

  #251 opened 3 years ago by pdeligia
  0

• Add native GitHub security and versioning dependency alerts

  #245 opened 3 years ago by szlatkow
  1

• automated fallback to fuzzing

  #235 opened 3 years ago by pdeligia
  0

• make sure test setup methods (when multiple) are associated with correct test

  #240 opened 3 years ago by pdeligia
  0

• automatically rewrite popular unit testing frameworks

  #233 opened 3 years ago by pdeligia
  1

• integration with dotnet test

  #232 opened 3 years ago by pdeligia
  0