This repository was archived by the owner on Aug 26, 2022. It is now read-only.

Include PSharpTester command #5

Open

akashlal opened this issue Jun 12, 2017 · 0 comments

Contributor

akashlal commented Jun 12, 2017

The first line of psharpbatchout.txt should list the PSharpTester command (or just the flags) used to generate that file.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.