fixing return value for passing test cases
authorHamed Gorjiara <hgorjiar@uci.edu>
Tue, 15 Oct 2019 20:12:24 +0000 (13:12 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Tue, 15 Oct 2019 20:12:24 +0000 (13:12 -0700)
src/Test/deserializersolvetest.cc

index bbb12e7..9891398 100644 (file)
@@ -18,5 +18,5 @@ int main(int argc, char **argv) {
                }
                delete solver;
        }
-       return 1;
+       return 0;
 }