X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=main.cc;h=a10bec364c0633ee569306b89243b3f1283fc3d6;hp=fd9536785bf763fc85e87e923f19e137ff8a1122;hb=9cfaad02da50095ae169b8fd30ee3148bf88b282;hpb=99d6712ba5650460a527c144cbc814bbe209bb4c diff --git a/main.cc b/main.cc index fd953678..a10bec36 100644 --- a/main.cc +++ b/main.cc @@ -35,6 +35,8 @@ static void print_usage(struct model_params *params) model_print( "Copyright (c) 2013 Regents of the University of California. All rights reserved.\n" "Distributed under the GPLv2\n" +"Written by Brian Norris and Brian Demsky\n" +"\n" "Usage: [MC_OPTIONS] -- [PROGRAM ARGUMENTS]\n" "\n" "Options:\n"