From dd979fcdb5a952462e4d6702999b5354de5a7be8 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Tue, 10 Oct 2017 15:36:09 -0700 Subject: Add copyright information. (#1201) This adds option --copyright which displays copyright information for CVC4. It further extends --show-config with copyright information and adds a banner with copyright information in interactive mode. --- src/main/driver_unified.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/main') diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index cad662d90..8ffb47e40 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -304,7 +304,8 @@ int runCvc4(int argc, char* argv[], Options& opts) { Message() << (Configuration::isDebugBuild() ? " DEBUG" : "") << " assertions:" << (Configuration::isAssertionBuild() ? "on" : "off") - << endl; + << endl << endl; + Message() << Configuration::copyright() << endl; } if(replayParser) { // have the replay parser use the declarations input interactively -- cgit v1.2.3