diff options
Diffstat (limited to 'scripts/phase.py')
| -rw-r--r-- | scripts/phase.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/phase.py b/scripts/phase.py index 6578b13..4da61b1 100644 --- a/scripts/phase.py +++ b/scripts/phase.py @@ -3,7 +3,7 @@ import sys from conf import conf -phases = ("Not Initialized", #0 +phases = ("Not Initialized" #0 "Initializing", #1 "Initialized", #2 "Solution generating", #3 @@ -35,3 +35,7 @@ def pset(str): def phs(str): return phases.index(str) + +def message(phs): + "Prints message signaling running phase." + print("-- " + phases[phs]) |