All pull requests

Pull requests

• Bump dotnet-sdk from 8.0.404 to 8.0.425

  dependenciesdotnet_sdk_package_manager
  #526·dependabot[bot] opened Oct 9, 2026Bot·

  ·

• Add exploration verdict, strict mode and machine-readable JSON report

  #525·Chao-Shiun opened Sep 6, 2026·

  ·
  3

• Add .NET 10 compatibility support

  #524·Frank Shearar (frankshearar) opened Aug 24, 2026Member·

  ·
  4

• Added checks in CoyoteRuntime.RunTestAsync() to check testMethod if it is either a Action<ICoyoteRuntime> or Func<ICoyoteRuntime, Task> delegate type before calling the runtime extension RunTest() method

  #509·kzdev (kzdev-net) opened Jul 29, 2024Contributor·

  ·
  1

• fix thread renaming

  #489·Vladimir Ivanov (kripergvg) opened Aug 17, 2023·

  ·
  2

• Pdeligia/pct

  #421·Pantazis Deligiannis (pdeligia) opened Nov 1, 2022Member·

  ·

• switch to google analytics

  #408·Chris Lovett (lovettchris) opened Oct 26, 2022·

  ·
  8

• Dhruv/rl fuzzing

  #291·Dhruv Nevatia (notDhruv) opened Feb 25, 2022·

  ·

• fixes in actor queue

  area-actors
  #250·Pantazis Deligiannis (pdeligia) opened Nov 10, 2021Member·

  ·

• add some handy warnings about non-static coyote test methods.

  area-cli
  #239·Chris Lovett (lovettchris) opened Oct 15, 2021·

  ·
  1

  5

• Add support for TestInitMethod and TestCleanupMethod

  area-binary-rewriting
  #164·Udit Kumar Agarwal (uditagarwal97) opened Apr 29, 2021Contributor·

  ·