ctex v0.1.0 CommonTest.Suite
Useful functions for common_test suites
Link to this section Summary
Functions
Terminates the current test with the given failure reason, which may be any term
Prints a message to the common_test log
Formats a list of terms using the given format string and prints the result to the common_test log
Prints a message to the common_test log and console. Normally, the console output is captured as well, and so it will not print to the screen
Formats a list of terms using the given format string and prints the result to the common_test log and console. Normally, the console output is captured as well, and so it will not print to the screen
Link to this section Functions
Terminates the current test with the given failure reason, which may be any term.
Prints a message to the common_test log.
Formats a list of terms using the given format string and prints the result to the common_test log.
Prints a message to the common_test log and console. Normally, the console output is captured as well, and so it will not print to the screen.
Formats a list of terms using the given format string and prints the result to the common_test log and console. Normally, the console output is captured as well, and so it will not print to the screen.