Witschi ProofMaster - Selecting the Results Display

Use
28.03.2022 51 / 112
In the examples below, the first test is running, the second test result is
OK and the third test result is not OK.
Test running Test OK
Test rejected Test manually aborted
5.3.2 Selecting the results display
The results can be displayed in numeric or reduced form.
a
a) Press or (at the bottom right of the screen) to show the
results in reduced or a numerical display.
Numeric Reduced