1. Shlomi Fish
  2. fc-solve

Commits

Shlomi Fish  committed 971498f

Added a sample gdb command set.

git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/branches/refactoring-convert-state-with-locations-to-key-val-pairs@1226 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a

  • Participants
  • Parent commits 31cbd7f
  • Branches refactoring-convert-state-with-locations-to-key-val-pairs, refactoring-convert-state-with-locations-to-key-val-pairs@3680

Comments (0)

Files changed (1)

File fc-solve/source/scripts/gdb/cmds-sample-1.gdb

View file
  • Ignore whitespace
+set args -l gi -s -i -p -t 1941.board
+b main
+r
+# Breakpoint 1
+b scans.c:1336 if instance->num_times == 3151
+c
+# Now we're at main.
+call fc_solve_state_as_string(ptr_state_with_locations_key, ptr_state_with_locations_val, 4, 8, 1, 1, 0, 1)
+call strstr($ , ": 9D 6S 4D AH\n")
+while ($ == 0)
+    c
+    call fc_solve_state_as_string(ptr_state_with_locations_key, ptr_state_with_locations_val, 4, 8, 1, 1, 0, 1)
+    call strstr($ , ": 9D 6S 4D AH\n")
+end