Checking 1 read, 1 write, step 1, uint8_t
Checking 1 read, 1 write, step 1, uint32_t
Checking 1 read, 1 write, step 1, uint64_t
Checking 1 read, 1 write, offset 3, uint8_t
Checking 1 read, 1 write, offset 3, uint32_t
Checking 1 read, 1 write, offset 3, uint64_t
Checking 1 read, 1 write, offset -3, uint8_t
Checking 1 read, 1 write, offset -3, uint32_t
Checking 1 read, 1 write, offset -3, uint64_t
Checking 1 read, 1 write, index count down, uint8_t
Checking 1 read, 1 write, index count down, uint32_t
Checking 1 read, 1 write, index count down, uint64_t
Checking 1 read, 1 write, index count down 2, uint8_t
Checking 1 read, 1 write, index count down 2, uint32_t
Checking 1 read, 1 write, index count down 2, uint64_t
Checking 1 read, 1 write, 2 inductions, different steps, uint8_t
Checking 1 read, 1 write, 2 inductions, different steps, uint32_t
Checking 1 read, 1 write, 2 inductions, different steps, uint64_t
Checking 1 read, 1 write, induction increment 2, uint8_t
Checking 1 read, 1 write, induction increment 2, uint32_t
Checking 1 read, 1 write, induction increment 2, uint64_t
Checking 1 read, 1 write to invariant address, step 1, uint8_t
Checking 1 read, 1 write to invariant address, step 1, uint32_t
Checking 1 read, 1 write to invariant address, step 1, uint64_t
Checking 2 reads, 1 write, simple indices, uint32_t
Checking 2 reads, 1 write, simple indices, uint8_t
Checking 2 reads, 1 write, simple indices, uint64_t
Checking 1 read, 2 writes, simple indices, uint8_t
Checking 1 read, 2 writes, simple indices, uint32_t
Checking 1 read, 2 writes, simple indices, uint64_t
exit 0