** Results:
CBMC_crc64_find_3.c function main
[main.assertion.1] line 45 assertion 0: FAILURE

Trace for main.assertion.1:

State 11 file CBMC_crc64_find_3.c function main line 35 thread 0
----------------------------------------------------
  str={ '8', '4', '9', '3', 'a', '5', '6', '4', '8', '6', '0', '0', 'c', '4', '9', '5' } ({ 00111000, 00110100, 00111001, 00110011, 01100001, 00110101, 00110110, 00110100, 00111000, 00110110, 00110000, 00110000, 01100011, 00110100, 00111001, 00110101 })

...

Violated property:
  file CBMC_crc64_find_3.c function main line 45 thread 0
  assertion 0
  0 != 0



** 1 of 1 failed (2 iterations)
VERIFICATION FAILED
['cbmc', '--trace', '--function', 'main', '--z3', 'CBMC_crc64_find_3.c']
['/home/i/dotfiles/bin/my_time.py', 'cbmc', '--trace', '--function', 'main', '--z3', 'CBMC_crc64_find_3.c']
seconds:  510
or:  8m30s