Comment by im_down_w_otp

So this is Symbolic Execution based testing for Python?