microsoft/coyote

integration with dotnet test

pdeligia opened this issue · 0 comments

We should provide a dotnet test adaptor to natively run Coyote tests from command line via dotnet test.