PSharpTester portfolio on Mono?

p-org / PSharp

A framework for rapid development of reliable asynchronous software.

MIT License

390 stars 37 forks source link

Closed ankushdesai closed 4 years ago

ankushdesai commented 4 years ago

I know that currently PSharpTester portfolio setting is not enabled on dotnet core. Does it work on the latest version of mono?

pdeligia commented 4 years ago

Discussing this with Ankush offline :) Closing for now.