Implementing main loop

These new scripts are part of main loop.
kernel is not finished!!

Divides kconfig_parser, sat_solution to better named modules.
Phasing and iteration is implemented for loop watching.

1 files changed, 21 insertions, 0 deletions

diff --git a/scripts/exceptions.py b/scripts/exceptions.py
new file mode 100644
index 0000000..722c44a
--- /dev/null
+++ b/scripts/exceptions.py
@@ -0,0 +1,21 @@
+class MissingFile(Exception):
+	def __init__(self, f, advice):
+		self.f = f
+		self.advice = advice
+	def __str__(self):
+		if advice == None:
+			return "No required file: " + f 
+		else:
+			return "No required file: " + f + "\n" + advice
+
+class NoSolution(Exception):
+	def __init__(self):
+		pass
+	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."