diff options
Diffstat (limited to 'scripts/exceptions.py')
| -rw-r--r-- | scripts/exceptions.py | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/scripts/exceptions.py b/scripts/exceptions.py index 730664a..89fba0a 100644 --- a/scripts/exceptions.py +++ b/scripts/exceptions.py @@ -14,23 +14,17 @@ class NoSolution(Exception): def __str__(self): return "SAT solver found no solution. Statement is not satisfiable." -class PhaseMismatch(Exception): - def __init__(self): - pass - def __str__(self): - return "Phase in " + conf.phase_file + " is unknown." - class ConfigurationError(Exception): def __init__(self, message): self.message = message; def __str__(self): return "Configuration error: " + message -class NoApplicableSolution(Exception): +class NoApplicableConfiguration(Exception): def __init__(self): pass def __str__(self): - return "No applicable solution find. All generated solutions were already applied." + return "No applicable configuration find. All generated configurations were already applied." class ProcessFailed(Exception): def __init__(self, process, returncode): |