search

p-org / PSharp

A framework for rapid development of reliable asynchronous software.
MIT License
390 stars 37 forks source link

move global.json to .net core 2.2.400. #462

Closed lovettchris closed 5 years ago

lovettchris commented 5 years ago

move global.json to .net core 2.2.400 and update build.ps1 to also use this info and updated build instructions to match.