From 063e8063cccf406de681ef6748542ae52fd844de Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Thu, 3 Mar 2016 06:54:41 +0100 Subject: [PATCH] Moved "Next level?" to after we check max_level --- smtcheckerrsc.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/smtcheckerrsc.py b/smtcheckerrsc.py index b692ecd..ec439b1 100644 --- a/smtcheckerrsc.py +++ b/smtcheckerrsc.py @@ -429,12 +429,12 @@ class SmtCheckerRSC(object): print("-----[ level=" + str(current_level) + " done ]") current_level += 1 - x=input("Next level? ") - x=x.lower() - if not (x == "y" or x == "yes"): - break - if current_level > max_level: print("Stopping at level=" + str(max_level)) break + else: + x=input("Next level? ") + x=x.lower() + if not (x == "y" or x == "yes"): + break