f-ing-around-with-binaryninja
f-ing-around-with-binaryninja copied to clipboard
Support multi-way And/Or conditions
trafficstars
I figured I'd try my hand at implementing display of z3.And(cond1, cond2, cond3, ...) (where there are more than 2 conditions being joined).
Not sure rendering these really accomplishes anything. Most of them look like they'll eventually need to be factored out into some sort of nested if... so it may not be worth merging.
For example :D

Feel free to merge if you think it's useful.