/**
  * Call this method whenever a violation of requirements is detected. Warnings are automatically
  * tracked and summarized at the end of the test.
  *
  * @param warning A string describing the violation that occurred.
  */
 protected final void warning(String warning) {
   // System.err.format("[" + name + "] @%4.9f: WARNING:  %s", Harness.getTime().getFracSeconds(),
   // warning);
   // System.err.println();
   Harness.log(name, "WARNING:  " + warning);
   warningCount++;
 }
 /**
  * Use this method to print informational messages to the output
  *
  * @param message Message to be printed.
  */
 protected final void message(String message) {
   Harness.log(name, message);
 }