Fix VS 2019 instructions and fix .net core build when .net core 3.0 is installed

p-org / PSharp

A framework for rapid development of reliable asynchronous software.

MIT License

390 stars 37 forks source link

Fix VS 2019 instructions and fix .net core build when .net core 3.0 is installed #455

Closed lovettchris closed 5 years ago

lovettchris commented 5 years ago

Update setup and build instructions for VS 2019 and improve the build script to do some version checking. Also fixed a build error that happens if you have .net core 3.0 installed.