microsoft / coyote

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
https://microsoft.github.io/coyote/
Other
1.48k stars 77 forks source link

tester invoke all possible tests #231

Open pdeligia opened 2 years ago

pdeligia commented 2 years ago

That are marked with [Test] unless -m TEST_NAME is used. This is helpful when testing projects consisting of multiple Coyote tests via the command line tool.

delixfe commented 1 year ago

Another variant would be, to add a list command.

coyote list <path> would write all test names to Console.Out. This would enable us to write scripts iterating over these test names.

pdeligia commented 1 year ago

Great suggestion @delixfe, I agree a command like this would be really useful, adding it to our TODO list. Instead of a top level command (like test and rewrite which we use for the most core coyote tool capabilities), I would probably make it a sub-command for test, for example coyote test ... /list-tests.

By the way, we welcome (and love to get) contributions, in case you (or anyone else) is interested in tackling this, please just let us know.