Running Tests

You must save before running any test. Select the tests you want to run, then click on "run selected" button. If the test has no error (SOD received is equal to the expected one) "Succesful" appears below the table. In case of error, diagnostic output is displayed below the table, showing PROVTEST info traces to help debug the erroneous result.