Ejemplos de Microsoft.Boogie CivlAttributes.RemoveLinearAttributes en C# (CSharp)

Ejemplo n.º 1

Archivo: LinearTypeChecker.cs Proyecto: smh0960/boogie

 public override Function VisitFunction(Function node)
 {
   CivlAttributes.RemoveLinearAttributes(node);
   return base.VisitFunction(node);
 }

Ejemplo n.º 2

Archivo: LinearTypeChecker.cs Proyecto: smh0960/boogie

 public override Variable VisitVariable(Variable node)
 {
   CivlAttributes.RemoveLinearAttributes(node);
   return base.VisitVariable(node);
 }