@@ -0,0 +1,857 @@
+#!/usr/bin/env pypy%0A%0Aimport sys%0A%0A'''%0Acheck if a bitmap enountered a given state transition%0A'''%0A%0Adef hit(bitmap, addr1, addr2):%0A%0A    prev_loc = addr1%0A    prev_loc = (prev_loc %3E%3E 4) %5E (prev_loc %3C%3C 8)%0A    prev_loc &= len(bitmap) - 1 %0A    prev_loc = prev_loc %3E%3E 1%0A%0A    cur_loc = addr2%0A    cur_loc = (cur_loc %3E%3E 4) %5E (cur_loc %3C%3C 8)%0A    cur_loc &= len(bitmap) - 1 %0A%0A    hit = bool(ord(bitmap%5Bcur_loc %5E prev_loc%5D) %5E 0xff)%0A%0A    return hit%0A%0A%0Adef main(argc, argv):%0A%0A    if argc %3C 4:%0A        print %22usage: %25s %3Cbitmap%3E %3Caddr1%3E %3Caddr2%3E%22 %25 argv%5B0%5D%0A        return 1%0A%0A    bitmap = open(argv%5B1%5D).read()%0A    addr1  = int(argv%5B2%5D, 16)%0A    addr2  = int(argv%5B3%5D, 16)%0A%0A    if hit(bitmap, addr1, addr2):%0A        print %22The state transition was hit%22%0A    else:%0A        print %22The state transition was not hit%22%0A%0Aif __name__ == %22__main__%22:%0A    sys.exit(main(len(sys.argv), sys.argv))%0A

Add checkpoint.py to bin for debugging