Ejemplo n.º 1
0
 private void AddNoAccessAssumes(List <Cmd> result, AccessRecord ar)
 {
     result.Add(new AssumeCmd(Token.NoToken, Expr.Neq(new IdentifierExpr(Token.NoToken, verifier.FindOrCreateNotAccessedVariable(ar.v.Name, ar.Index.Type)), ar.Index)));
 }