public bool SupportLanguage(DexterConfig.LANGUAGE language)
{
if (language.Equals(DexterConfig.LANGUAGE.C_SHARP))
{
return(true);
}
else
{
return(false);
}
}
public CheckerConfig(string toolName, DexterConfig.LANGUAGE language)
{
ToolName = toolName;
Language = language;
}