[GNUnet-SVN] r22872 - monkey/branches/MonkeyBacktracking/monkey/src/monkey

[gnunet]

Author: safey
Date: 2012-07-24 16:14:40 +0200 (Tue, 24 Jul 2012)
New Revision: 22872

Modified:
   monkey/branches/MonkeyBacktracking/monkey/src/monkey/action_api.c
   monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey.c
Log:
Monkey checks architecture's support of backtracking.


Modified: monkey/branches/MonkeyBacktracking/monkey/src/monkey/action_api.c
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/src/monkey/action_api.c   
2012-07-24 13:58:38 UTC (rev 22871)
+++ monkey/branches/MonkeyBacktracking/monkey/src/monkey/action_api.c   
2012-07-24 14:14:40 UTC (rev 22872)
@@ -938,11 +938,12 @@
 
     /* Backtracking is issued after running the program */
     if (MONKEY_YES == cntxt->run_reverse) {
-       if (!gmi_exec_record_process(cntxt->gdb_handle)) {
-           printf("Error enabling Backtracking!\n");
-           mi_disconnect(cntxt->gdb_handle);
-           return MONKEY_NO;
-       }
+               gmi_exec_record_process(cntxt->gdb_handle);
+               if (strcmp((char*)cntxt->gdb_handle->to_gdb_echo_data,
+                               "Process record: the current architecture 
doesn't support record function.") == 0) {
+                       fprintf(stderr, "Warning: Backtracking is not supported 
for the current architecture");
+               }
+               return MONKEY_NO;
     }
 
     /* Here we should be stopped when the program crashes */

Modified: monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey.c
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey.c       
2012-07-24 13:58:38 UTC (rev 22871)
+++ monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey.c       
2012-07-24 14:14:40 UTC (rev 22872)
@@ -133,7 +133,6 @@
          if (MONKEY_NO == retVal)
            {
              fprintf( stderr, "Error using Valgrind! Monkey will continue 
debugging!\n");
-             ret = 1;
            }
        }
 
@@ -141,9 +140,7 @@
        if (cntxt->run_reverse) {
          retVal = MONKEY_ACTION_start_reverse_execution(cntxt);
          if (MONKEY_NO == retVal) {
-                 fprintf(stderr, "Error during Backtracking!\n");
-                 ret = 1;
-                 break;
+                 fprintf(stderr, "Error during Backtracking! Monkey will 
continue debugging with backtracking.\n");
          }
        }