EMMAA Detailed Test Results¶
The detailed test results page shows a test result at in high detail for a specific model and model type. The left column describes the path found that satisfies the test. The right column contains a detailed description of each edge in the path with a list of english representation of the statements supporting the edge. If a test did not pass, a message explaining why it did not pass is shown.
Results for Different Model Types¶
The navigation bar contains a drop down menu where another model type can be selected. After selecting the model type to switch to, click on “Load Type” to load the same model test with the selected model type. Note that only model types available for the specific model are available in the menu.
When a test fails, the detailed test page show a message that describes why the test failed instead of results.