SpecTest Exe "Spec#\ Program\ Verifier\ finished\ with\ [0-9]*\ verified,\ 0\ errors"