added a test to see whether a diagnostic is reported as OK or ERROR