11 for line in fileinput.input ():
13 if lineno < skip_count:
15 (offset, dec_val, hex_val) = line.split ()
16 if lineno == skip_count:
17 expected_val = int (dec_val)
18 int_dec_val = int (dec_val)
19 int_hex_val = int (hex_val, 16)
20 if int_dec_val != expected_val:
21 print "line %6d, delta %4d, expected %6d, got %6d" % (lineno,
26 elif ((int_hex_val >> 12) & 0xf) != (int_hex_val & 0xf):
27 print "line %6d, delta %4d, invalid high bits %04x" % (lineno,
32 # expected_val = (expected_val + 1) & 0xffff
33 expected_val = (expected_val + 1) & 0x0fff