예제 #1
0
        public void Exs_NormalizeSubForComparison()
        {
            Given_ExpressionSimplifier();
            var expr = m.Le0(m.ISub(m.Word32(0x02), foo));

            Assert.AreEqual("foo_0 >= 0x00000002", expr.Accept(simplifier).ToString());
        }
예제 #2
0
 public void Exs_NormalizeSubForComparison()
 {
     Given_ExpressionSimplifier();
     var(expr, _) = m.Le0(m.ISub(m.Word32(0x02), foo)).Accept(simplifier);
     Assert.AreEqual("foo_1 >= 2<32>", expr.ToString());
 }