public void UninterpretedFunction()
{
var FCB = new Symbooglix.FunctionCallBuilder();
var funcCall = FCB.CreateCachedUninterpretedFunctionCall(
"foo",
BType.Bool, // Return type
new List <Microsoft.Boogie.Type>()
{
BType.GetBvType(32), BType.GetBvType(32)
}
);
Assert.IsNotNull(ExprUtil.AsUninterpretedFunction(funcCall.Func));
var sb = GetSimpleBuilder();
var callFunc = sb.UFC(funcCall, sb.ConstantBV(0, 32), sb.ConstantBV(1, 32));
var asUF = ExprUtil.AsUninterpretedFunctionCall(callFunc);
Assert.IsNotNull(asUF);
}
public SimpleExprBuilder(bool immutable)
{
FCB = new FunctionCallBuilder();
_Immutable = immutable;
}
