Adjust verbosity settings (#358)

* Show "Generating testcase" message by default

* Rephrase program finished to be less obtuse

* Rm excessive debug print

manticore/core/cpu/abstractcpu.py

@@ -657,7 +657,6 @@ class Cpu(object):
         #No dynamic code!!! #TODO! 
         #Check if instruction was already decoded 
         if pc in self._instruction_cache:
-            logger.debug("Intruction cache hit at %x", pc)
             return self._instruction_cache[pc]
 
         text = ''

manticore/core/executor.py

@@ -341,7 +341,7 @@ class Executor(object):
         ''' Returns the list of states ids currently queued '''
         return list(self._states)
 
-    def generate_testcase(self, state, message = 'Testcase generated'):
+    def generate_testcase(self, state, message='Testcase generated'):
         '''
         Create a serialized description of a given state.
 
@@ -349,7 +349,7 @@ class Executor(object):
         :param message: Accompanying message
         '''
         testcase_id = self._new_testcase_id()
-        logger.debug("Generating testcase No. %d  - %s", testcase_id, message)
+        logger.info("Generating testcase No. %d - %s", testcase_id, message)
 
         #broadcast test generation. This is the time for other modules 
         #to output whatever helps to understand this testcase

manticore/platforms/linux.py

@@ -1604,7 +1604,7 @@ class Linux(Platform):
         #self.procs[procid] = None
         logger.debug("EXIT_GROUP PROC_%02d %s", procid, error_code)
         if len(self.running) == 0 :
-            raise TerminateState("ProcessExit %r"%error_code, testcase=True)
+            raise TerminateState("Program finished with exit status: %r" % error_code, testcase=True)
         return error_code
 
     def sys_ptrace(self, request, pid, addr, data):