Next: unsupported Procedure, Previous: untested Procedure, Up: Core Internal Procedures
Declares a test to have an unresolved outcome. unresolved
writes
in the log file a message beginning with UNRESOLVED, appending
the argument string. This usually means the test did not execute
as expected, and a human being must go over results to determine if it
passed or failed (and to improve the test case).
unresolved { message }
string
The message to use.