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. In the drop down menu on the top left you can choose any test case that is defined in the same package as the TestCasePlayer markup itself.
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.