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}");
}