X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=f218b3e698ad3d6408b8289756a269860ec833c8;hb=67becf49b3c3cbc967a272dd92936812bd571fd4;hp=ea97d32a071bd3033533f90ddfd3691be362c779;hpb=d47c480e46b9a7318dfaa50398a83db04171f83e;p=c11tester.git

diff --git a/main.cc b/main.cc
index ea97d32a..f218b3e6 100644
--- a/main.cc
+++ b/main.cc
@@ -166,44 +166,3 @@ static void install_trace_analyses(ModelExecution *execution)
 		ta->actionAtInstallation();
 	}
 }
-
-/**
- * Main function.  Just initializes snapshotting library and the
- * snapshotting library calls the model_main function.
- */
-int main(int argc, char **argv)
-{
-	/*
-	 * If this printf statement is removed, C11Tester 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("C11Tester\n"
-				 "Copyright (c) 2013 and 2019 Regents of the University of California. All rights reserved.\n"
-				 "Distributed under the GPLv2\n"
-				 "Written by Weiyu Luo, Brian Norris, and Brian Demsky\n\n");
-
-
-	//Initialize snapshotting library and model checker object
-	if (!model) {
-		snapshot_system_init(10000, 1024, 1024, 40000);
-		model = new ModelChecker();
-		model->startChecker();
-	}
-
-	/* Configure output redirection for the model-checker */
-	redirect_output();
-	register_plugins();
-
-	//Stash command line options
-	model_params *params = model->getParams();
-	params->argc = argc;
-	params->argv = argv;
-
-	install_trace_analyses(model->get_execution());
-
-	model->startMainThread();
-	DEBUG("Exiting\n");
-}