(208 . 7)(208 . 7)
5 fVerifyAll = GetBoolArg("-verifyall");
6 fShiva = GetBoolArg("-shiva");
7
8 if (!(mapArgs.count("-shivainit") && FileExists(mapArgs["-shivainit"].c_str()))) {
9 if (mapArgs.count("-shivainit") && !(FileExists(mapArgs["-shivainit"].c_str()))) {
10 fprintf(stderr, "Error: If Shiva is enabled, MUST specify init file!\n");
11 return false;
12 }