...

** Results:
CBMC_sudoku_or.c function check
[check.assertion.1] line 94 assertion 0: FAILURE

Trace for check.assertion.1:

State 33 file CBMC_sudoku_or.c function __CPROVER__start line 26 thread 0
----------------------------------------------------
  INPUT tmp: { 1, 4, 5, 3, 2, 7, 6, 9, 8 } ({ 00000001, 00000100, 00000101, 00000011, 00000010, 00000111, 00000110, 00001001, 00001000 })

State 34 file CBMC_sudoku_or.c function __CPROVER__start line 26 thread 0
----------------------------------------------------
  INPUT cells: &tmp!0@1 (00000011 00000000 00000000 00000000 00000000 00000000 00000000 00000000)

State 37 file CBMC_sudoku_or.c function __CPROVER__start line 26 thread 0
----------------------------------------------------
  cells=&tmp!0@1 (00000011 00000000 00000000 00000000 00000000 00000000 00000000 00000000)

...

Violated property:
  file CBMC_sudoku_or.c function check line 94 thread 0
  assertion 0
  0 != 0



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