Filip Niksic

Results 1 issues of Filip Niksic

I am having issues trying to build PSharp-as-language samples on macOS. Building PSharp itself works without problems by executing: ``` dotnet build -c Release PSharp.sln ``` I can then build...