/**
* 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);
}