C# (CSharp) Microsoft.Boogie CivlTypeChecker.Formal示例

示例#1

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

示例#2

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