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 bbb12e753550da0daf46041088b8804127bed662..9891398a7653ddd3620b9558ec639f86221aaa6d 100644 (file)
@@ -18,5 +18,5 @@ int main(int argc, char **argv) {
                }
                delete solver;
        }
                }
                delete solver;
        }
-       return 1;
+       return 0;
 }
 }