From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Tue, 15 Oct 2019 20:12:24 +0000 (-0700)
Subject: fixing return value for passing test cases
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=1840190c2a21fe0ea3f1b1e7fc5bfdaf5a6f727d;hp=8367ac187a5b3d439bc386822f23fdc5eb236748;ds=sidebyside

fixing return value for passing test cases
---

diff --git a/src/Test/deserializersolvetest.cc b/src/Test/deserializersolvetest.cc
index bbb12e7..9891398 100644
--- a/src/Test/deserializersolvetest.cc
+++ b/src/Test/deserializersolvetest.cc
@@ -18,5 +18,5 @@ int main(int argc, char **argv) {
 		}
 		delete solver;
 	}
-	return 1;
+	return 0;
 }