Exemplos de HavocCmd.ToString em C# (CSharp)

Exemplo n.º 1

 public override Cmd VisitHavocCmd(HavocCmd node)
 {
     if (node.Vars.All(x => !x.Type.IsMap))
     {
         return(base.VisitHavocCmd(node));
     }
     throw new Exception(string.Format("Do not allow havoc over map variables, found {0}", node.ToString()));
 }