C# (CSharp) ExprUtil.AsEq Examples

Example #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);
        }