A test case is run by using the TestCasePlayer markup. This markup is a common viewer and runner for all types of test cases specified in KnowWE.
The test case player is created the following way:
%%TestCasePlayer %
Renders as:
The annotation uses specifies the package, where the test cases are defined.
Clicking the green arrows allows to run the test-case line until the respective line. The success of the test in each line is shown by color highlighting of the check cell (green: passed; red: failed). With the red button on top the test execution can be reset to restart testing from scratch.