Ali Kheradmand

icon indicating an email [email protected]

icon company University of Illinois at Urbana-Champaign icon location USA

Results 23 comments of Ali Kheradmand

Problem with symbolic execution

thanks to @daejunpark, returning "unsat" when z3 throws such error seems to fix my problems for now

Problem with symbolic execution

I don't know if it is generally safe/correct to do that, but for my very special case it seems to be correct

Problem with symbolic execution

@cos in that case (which was the default behavior before I made the change I mentioned), I get to the `assertionError` that was mentioned in the first comment.