Exemplos de ExprUtil.AsEq em C# (CSharp)

Exemplo n.º 1

        public void AsEqWithoutEq()
        {
            var sb   = GetSimpleBuilder();
            var v    = GetVarAndIdExpr("foo", BasicType.GetBvType(4)).Item2;
            var e    = sb.NotEq(v, sb.ConstantBV(0, 4));
            var asEq = ExprUtil.AsEq(e);

            Assert.IsNull(asEq);
        }