Mark non-compliant lines of engine in debug file
authorH.G. Muller <h.g.muller@hccnet.nl>
Thu, 25 Feb 2010 14:45:16 +0000 (15:45 +0100)
committerH.G. Muller <h.g.muller@hccnet.nl>
Thu, 25 Feb 2010 14:45:16 +0000 (15:45 +0100)
commit6112f15dc9df5810f2e487f32302c251069c2333
tree58fb451205c0146ac821f79a2ed738c290e9c718
parent448a8a613868681c5505ea5c92ab28c60ec392d4
Mark non-compliant lines of engine in debug file

The option -engineDebugOutput is extended to accept value 3 for printing
a cear indication of non-compliancy in the debug file.
backend.c