Run-assert-eval: Find the risk, fix it, prove it

(commandline.microsoft.com)

3 points | by doomroot13 6 hours ago ago