Esempi in C# (CSharp) per Microsoft.Boogie CivlTypeChecker.Formal

Esempio n. 1

 private static Formal SnapshotGlobalFormal(CivlTypeChecker civlTypeChecker, Variable v)
 {
     return(civlTypeChecker.Formal($"snapshot_{v.Name}", v.TypedIdent.Type, true));
 }

Esempio n. 2

 private Formal OldGlobalFormal(Variable v)
 {
     return(civlTypeChecker.Formal($"global_old_{v.Name}", v.TypedIdent.Type, true));
 }