# Opaque Predicates

Using z3 to detect opaque predicated (a conditional jump which is always taken or not taken) in x86 assembly. 

The solution.py file contains a working solution, however your job is to fill in skeleton.py with the x86 instructions you implemented previously. The function already contains the logic for doing the checking needed on top of the instructions.