X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=main.cc;h=9060af5f96124b38ce244a79100bfe8421f3b556;hp=d8d4193b1256b0d8cf767391246502dd4a877a85;hb=fdc038715881f395ddbac1625160236f8db2c1d7;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;ds=sidebyside

diff --git a/main.cc b/main.cc
index d8d4193..9060af5 100644
--- a/main.cc
+++ b/main.cc
@@ -125,6 +125,18 @@ int main(int argc, char **argv)
 	main_argc = argc;
 	main_argv = argv;
 
+	/*
+	 * If this printf statement is removed, CDSChecker will fail on an
+	 * assert on some versions of glibc.  The first time printf is
+	 * called, it allocated internal buffers.  We can't easily snapshot
+	 * libc since we also use it.
+	 */
+	
+	printf("SATCheck\n"
+				 "Copyright (c) 2016 Regents of the University of California. All rights reserved.\n"
+				 "Distributed under the GPLv2\n"
+				 "Written by Brian Demsky and Patrick Lam\n\n");
+	
 	/* Configure output redirection for the model-checker */
 	redirect_output();