search

dstebila / pygamehop

[work in progress] Python framework for supporting cryptographic game-hopping proofs
13 stars 0 forks source link

if expression bug #20

Open dstebila opened 3 years ago

dstebila commented 3 years ago

I think the logic for if expressions incorrectly handles the following case:

x = 1
if condition:
    x = 2
    y = 2
else:
    y = 3