From: Brian Demsky <bdemsky@uci.edu>
Date: Tue, 19 Mar 2013 00:24:27 +0000 (-0700)
Subject: add copyright message
X-Git-Tag: oopsla2013~136
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=99d6712ba5650460a527c144cbc814bbe209bb4c;hp=bee1e27429b9a66e414eb83cf14e2089dd40a79e

add copyright message
---

diff --git a/README b/README
index b8ef3f8..50032b0 100644
--- a/README
+++ b/README
@@ -2,6 +2,8 @@
 CDSChecker Readme
 ****************************************
 
+Copyright (c) 2013 Regents of the University of California. All rights reserved.
+
 CDSChecker is distributed under the GPL v2.
 
 CDSChecker compiles as a dynamically-linked shared library by simply running
diff --git a/main.cc b/main.cc
index ab37af4..fd95367 100644
--- a/main.cc
+++ b/main.cc
@@ -33,6 +33,8 @@ static void print_usage(struct model_params *params)
 	param_defaults(params);
 
 	model_print(
+"Copyright (c) 2013 Regents of the University of California. All rights reserved.\n"
+"Distributed under the GPLv2\n"
 "Usage: <program name> [MC_OPTIONS] -- [PROGRAM ARGUMENTS]\n"
 "\n"
 "Options:\n"