coyote

coyote copied to clipboard

Pull request regarding optimizing pct for async-await task programs.

fahadnayyar

Seems that we still log SendEvents even after the runtime has stopped.

pdeligia

To remove the need for someone to declare the method name again when they are trying to replay a schedule.

pdeligia

fix compatibility issue with VS Code coverage and assembly rewriting

3

It seems that the code coverage tool is misreading the rewritten binaries as uncovered code blocks, causing % coverage to be reduced. The issue arises when you run code coverage...

pdeligia

pdeligia

Documentation describing different exploration strategies?

2

I'm trying to learn about the different strategies, but the docs don't have a clear description of each one. I'm referring to random, prioritization, fair-prioritization, probabilistic, rl, dfs, portfolio. An...

jhwj9617

pdeligia

pdeligia

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

1

fixes #238

lovettchris

Added the following: 1. The systematic fuzzing framework 2. (1)-PCT algorithm 3. Contains a preliminary implementation for the QL algorithm

notDhruv