EMMAA Detailed Test or Query 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 paths found that satisfies the test. Note that the same test/query can be explained with multiple different paths. 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.
Non-passing Tests¶
When a test fails, the detailed test page show a message that describes why the test failed instead of results. For more details see Failing test/query result interpretation