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()); }
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()); }