f-ing-around-with-binaryninja icon indicating copy to clipboard operation
f-ing-around-with-binaryninja copied to clipboard

Support multi-way And/Or conditions

Open zackorndorff opened this issue 6 years ago • 0 comments
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

for-example

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

zackorndorff avatar May 09 '19 19:05 zackorndorff