public void AsGtWithoutGt() { var sb = GetSimpleBuilder(); var v = GetVarAndIdExpr("foo", BasicType.Int).Item2; var e = sb.Eq(v, sb.ConstantInt(0)); var asGt = ExprUtil.AsGt(e); Assert.IsNull(asGt); }
public void Le() { var cfb = GetConstantFoldingBuilder(); var x = GetVarAndIdExpr("x", Microsoft.Boogie.Type.Int).Item2; var y = GetVarAndIdExpr("y", Microsoft.Boogie.Type.Int).Item2; var e = cfb.Not(cfb.Le(x, y)); var asGt = ExprUtil.AsGt(e); Assert.IsNotNull(asGt); Assert.AreSame(x, asGt.Args[0]); Assert.AreSame(y, asGt.Args[1]); }