mnemonikr / symbolic-pcode

Apache License 2.0
0 stars 0 forks source link

Fixed bug with less_than and greater_than #55

Closed mnemonikr closed 1 year ago

mnemonikr commented 1 year ago

The existing checks failed for 2 < 1 and 4 < 3 (returning true in both cases). A missing equality check was the root cause, but restructuring the code into a recursive call made the correctness more clear. Confirmed with stronger unit tests.