** Results:
CBMC_crc64_find.c function main
[main.assertion.1] line 35 assertion 0: FAILURE

Trace for main.assertion.1:

State 21 file CBMC_crc64_find.c function main line 23 thread 0
----------------------------------------------------
  str={ 'u', 'n', 'd', 'i', 's', 'c', 'i', 'p', 'l', 'i', 'n', 'e', 'd' } ({ 01110101, 01101110, 01100100, 01101001, 01110011, 01100011, 01101001, 01110000, 01101100, 01101001, 01101110, 01100101, 01100100 })

...

Violated property:
  file CBMC_crc64_find.c function main line 35 thread 0
  assertion 0
  (__CPROVER_bool)0



** 1 of 1 failed (2 iterations)
VERIFICATION FAILED