I have changed line 105 in the old file with the while loop and added one more line in the body of this while loop to solve the bug reported at https://github.com/erelsgl/prtpy/issues/15. The same example has also been added to the list of test cases.
I have changed line 105 in the old file with the while loop and added one more line in the body of this while loop to solve the bug reported at https://github.com/erelsgl/prtpy/issues/15. The same example has also been added to the list of test cases.