public override string ToString()
{
if (verifyMode == VerifyMode.SelectiveVerify)
{
return(verifyMode.ToString() + "(" + String.Join(",", selectiveVerifyModuleNames) + ")");
}
else
{
return(verifyMode.ToString());
}
}