From d407ea8f8194334bdc8043cd63f385c4bacbf8f1 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Thu, 3 Sep 2009 08:32:16 +0000 Subject: [PATCH] Adding version number to help output of the binary. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@171 e59a4935-1847-0410-ae03-e826735625c1 --- src/parser/main.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/parser/main.cpp b/src/parser/main.cpp index 9b2606a..73d87cc 100644 --- a/src/parser/main.cpp +++ b/src/parser/main.cpp @@ -78,6 +78,7 @@ int main(int argc, char ** argv) { } //populate the help string + helpstring += "version: " + version + "\n\n"; helpstring += "-r : switch refinement off (optimizations are ON by default)\n"; helpstring += "-w : switch wordlevel solver off (optimizations are ON by default)\n"; helpstring += "-a : switch optimizations off (optimizations are ON by default)\n"; @@ -92,6 +93,8 @@ int main(int argc, char ** argv) { helpstring += "-h : help\n"; helpstring += "-m : use the SMTLIB parser\n"; + + for(int i=1; i < argc;i++) { if(argv[i][0] == '-') { switch(argv[i][1]) { -- 2.47.3