Set up the output options of the semantic check

You can specify in which format the result of the semantic check is to be generated for download.

Procedure

  1. Click Application launcher Application launcher > Models and objects Models and objects. The Models and objects view in the repository is opened.

  2. Click Semantic check Semantic checks to open the Semantic checks bar.

  3. Click Display symbols and connections Select output format. The corresponding dialog opens.

  4. Click the Down arrow down arrow and select the output option you want to use, for example, Output PDF.

  5. Click OK.

You have set up the output options for the semantic check results. If you now run a semantic check and click Download Download result as a document, the result is downloaded in the selected format.