** Results:
CBMC_crc64_find_2.c function main
[main.assertion.1] line 36 assertion 0: FAILURE

Trace for main.assertion.1:

State 11 file CBMC_crc64_find_2.c function main line 24 thread 0
----------------------------------------------------
  str={ 'a', 'd', 'n', 'w', 's', 's', 'k', 'b', 'r', 'o', 'g', 'g', 'n', 'i' } ({ 01100001, 01100100, 01101110, 01110111, 01110011, 01110011, 01101011, 01100010, 01110010, 01101111, 01100111, 01100111, 01101110, 01101001 })