** Results:
[check.assertion.1] assertion isXMLDigit_optimized(c) == isXMLDigit(c): FAILURE

Trace for check.assertion.1:

State 17 file isXMLdigit_bug.c line 64 thread 0
----------------------------------------------------
  INPUT c: 2534u (00000000 00000000 00001001 11100110)

State 20 file isXMLdigit_bug.c line 64 thread 0
----------------------------------------------------
  c=2534u (00000000 00000000 00001001 11100110)

State 24 file isXMLdigit_bug.c line 66 function check thread 0
----------------------------------------------------
  c=2534u (00000000 00000000 00001001 11100110)

State 42 file isXMLdigit_bug.c line 66 function check thread 0
----------------------------------------------------
  c=2534u (00000000 00000000 00001001 11100110)

Violated property:
  file isXMLdigit_bug.c line 66 function check
  assertion isXMLDigit_optimized(c) == isXMLDigit(c)
  return_value_isXMLDigit_optimized == return_value_isXMLDigit