artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Moved "Next level?" to after we check max_level

Browse Source
This commit is contained in:
Artur Meski
2016-03-03 06:54:41 +01:00
parent 1746bf86c8
commit 063e8063cc
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
smtcheckerrsc.py
View File

@@ -429,12 +429,12 @@ class SmtCheckerRSC(object):
print("-----[ level=" + str(current_level) + " done ]") print("-----[ level=" + str(current_level) + " done ]")
current_level += 1 current_level += 1
x=input("Next level? ")
x=x.lower()
if not (x == "y" or x == "yes"):
break
if current_level > max_level: if current_level > max_level:
print("Stopping at level=" + str(max_level)) print("Stopping at level=" + str(max_level))
break break
else:
x=input("Next level? ")
x=x.lower()
if not (x == "y" or x == "yes"):
break