public static string Desc(this InformeDafny.Result res)
{
var atribs = res.GetType().GetMember(res.ToString())[0]
.GetCustomAttributes(typeof(DescriptionAttribute), false);
return((atribs[0] as DescriptionAttribute).Description);
}
public static bool EsError(this InformeDafny.Result res)
{
return(res != InformeDafny.Result.CORRECTO);
}
