PSharp icon indicating copy to clipboard operation
PSharp copied to clipboard
verified publisher icon p-org

code coverage for psharp files

Open akashlal opened this issue 7 years ago • 0 comments

Code coverage results refer to the generated .psharp.cs file. It would be good to map the coverage back to the source .psharp file.

akashlal avatar Nov 14 '18 05:11 akashlal