Update usage message in main function to display program name dynamically

krash_main.cpp

@@ -93,7 +93,9 @@ int main(int argc, char** argv) {
     }
 
     if (no_opt == true) {
-        cout << "Usage: " << argv[0] << " -f <filename> [-r <truncate>] [-t <testnames>] [-h]\n";
+        vector<string> prog_path = tokenize(argv[0], "\\");
+        string prog_name = prog_path.back();
+        cout << "Usage: " << prog_name << " -f <filename> [-r <truncate>] [-t <testnames>] [-h]\n";
 
         cout << "\tOptions:\n";
         cout << "\t\t-f => Specify .datalog file name\n";