@Pavel We can always use temporary files for stdout and stderr, then broken pipe is gone

I guess I can tolerate the closed handle errors, idk

github.com/p-org/PSharp/issues/398#issuecomment-457065312

^ someone remind me to look into that later

Or I could do it rn because I can't sleep .-.

@Dennis I got P# working: Shove https://github.com/p-org/PSharpLab/blob/master/TestSamples/CoreApp/CoreApp.cspr‌​oj somewhere, probably /opt/psharp and run dotnet restore in that directory. To run, link every file in there to home and link .core.tio to .code.tio.cs

HW is github.com/p-org/PSharpLab/blob/master/TestSamples/CoreApp/…

If it doesn't work copy fs-core I guess

Not sure if this is a code issue, or a TIO issue: tio.run/##ZU/…

@AncientSwordRage TIO just calls rockstar-py, so if this program should be working, rockstar-py appears to have a bug.

thanks for the heads up on that @Dennis

What version of C# is on TIO?

Do you think you can get C# 8 so we can use the new hat operator?

@Oliver Are you quite sure that's out

Because I'm pretty sure latest is still 7.3

@Pavel Ah, you might be right. According to this, it's due in 61 years :P

@Oliver Still sooner than Java will get pattern matching :P

@Dennis Can you please pull Tidy?

@ConorO'Brien Done.

thanks!