mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

Display version number using new format

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-11-10 19:03:16 -08:00
parent caced62f40
commit a6db55d21f
1 changed files with 1 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
src/shell/main.cpp
View file

@ -214,16 +214,7 @@ void parse_cmd_line_args(int argc, char ** argv) {
exit(0); exit(0);
} }
if (strcmp(opt_name, "version") == 0) { if (strcmp(opt_name, "version") == 0) {
#ifdef _EXTERNAL_RELEASE std::cout << "Z3 version " << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "." << Z3_BUILD_NUMBER << "\n";
std::cout << "Z3 version " << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "\n";
#else
std::cout
<< "Z3 version (major minor build revision): "
<< Z3_MAJOR_VERSION << " "
<< Z3_MINOR_VERSION << " "
<< Z3_BUILD_NUMBER << " "
<< Z3_REVISION_NUMBER << "\n";
#endif
exit(0); exit(0);
} }
else if (strcmp(opt_name, "smt") == 0) { else if (strcmp(opt_name, "smt") == 0) {