public static string GetSmtType(BoogieType type) { if (type.Equals(BoogieType.Bool)) { return("Bool"); } else if (type.Equals(BoogieType.Int)) { return("Int"); } else if (type.Equals(BoogieType.Ref)) { return("Int"); } throw new Exception($"Unknown BoogieType {type}"); }
public static BoogieExpr GetDefaultVal(BoogieType boogieType) { if (boogieType.Equals(BoogieType.Int)) { return(new BoogieLiteralExpr(BigInteger.Zero)); } else if (boogieType.Equals(BoogieType.Bool)) { return(new BoogieLiteralExpr(false)); } else if (boogieType.Equals(BoogieType.Ref)) { return(new BoogieIdentifierExpr("null")); } throw new Exception($"Unknown BoogieType {boogieType}"); }