switch pse_ prefix to mcore_ (#34)

manticore/__main__.py

@@ -21,7 +21,7 @@ def parse_arguments():
     # parse arguments
     parser = argparse.ArgumentParser(description='Symbolically analyze a program')
     parser.add_argument('--workspace', type=str, default=None,
-                        help='A folder name for temporaries and results. (default pse_?????)')
+                        help='A folder name for temporaries and results. (default mcore_?????)')
     parser.add_argument('--log', type=str, default='-',
                         help='The log filename')
     parser.add_argument('--verbose', action='store_true', help='Enable debug mode.')

manticore/manticore.py

@@ -379,7 +379,7 @@ class Manticore(object):
 
     def _make_workspace(self):
         ''' Make working directory '''
-        return tempfile.mkdtemp(prefix="pse_", dir='./')
+        return tempfile.mkdtemp(prefix="mcore_", dir='./')
 
     @property
     def workers(self):

stats.py

@@ -6,7 +6,7 @@ def parse_arguments():
     # parse arguments
     parser = argparse.ArgumentParser(description='Extract different statistic and information from a manticore workspace')
     parser.add_argument('--workspace', type=str, default=None,
-                       help='A folder name fpor temporaries and results. (default pse_?????)')
+                       help='A folder name fpor temporaries and results. (default mcore_?????)')
     parser.add_argument('--pcfreq', action='store_true', help='Print out visited pc and frequency')
     parser.add_argument('--visited', action='store_true', help='Print out visited pc set')
     parser.add_argument('--bbs', action='store_true', help='Print out visited basic blocks ')