dibyendu/unrelyzer

Implementation of function `evaluate_expression` is wrong

Closed this issue · 1 comments

suppose z ∈ {1,2,3,4} before an expression x+y >= z*z. The current method will compute for all possible combinations of z. For example it'll compute z*z with values like (1,2), (1,3) etc. rather than for single values of z. The correct implementation should be to take all possible tuples of (x,y,z) and compute the expression x+y >= z*z by building a stack based postfix representation from the expression tree.

fixed here : 9a2e794