Adding assertions, info logs, and validation functions for debugging purposes

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index 07a61688bcfb1e7ccad0bb23dfcb137854875fbf..fb351037c3ba12192db164b254db8d1f5e3f5d67 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -620,6 +620,8 @@ int CSolver::solve() {
        eg.encode();
 
        naiveEncodingDecision(this);
+//     eg.validate();
+       
        long long time5 = getTimeNano();
        model_print("Encoding Graph Time: %f\n", (time5 - time4) / NANOSEC);