| ... | ... | @@ -112,6 +112,7 @@ Starting AF3 |
|
|
|
- You will be prompted to select a launch configuration. Select the one which matches
|
|
|
|
your operating system.
|
|
|
|
- In the *Plug-ins* tab, hit *Add required Plug-Ins*, *Apply*, *Debug*/*Run*
|
|
|
|
- In you encounter errors in the console, check the FAQ section below
|
|
|
|
|
|
|
|
Notes on cleaning up
|
|
|
|
--------------------
|
| ... | ... | @@ -150,8 +151,11 @@ FAQ |
|
|
|
these performance issues.
|
|
|
|
- <u>Question</u>: Rating for files is shown, but I cannot change the
|
|
|
|
rating via the context menu.
|
|
|
|
<u>Answer</u>: The rating can only be changed in the Package
|
|
|
|
<u>Answer</u>: The rating can only be changed in the Package
|
|
|
|
Explorer view. Make sure, you are not using e.g. the Model Explorer.
|
|
|
|
- <u>Question</u>On Windows, I encounter the the following exception when starting AutoFOCUS3. In particular, the DSE does not work.
|
|
|
|
``java.lang.UnsatisfiedLinkError: [...]\plugins\com.microsoft.z3_2.18.[...]\lib\x64\msvcp120.dll: Can't find dependent libraries``
|
|
|
|
<u>Answer</u>Installing the update for the [Microsoft Visual C++ 2013 Update 5 Redistributable Package](https://support.microsoft.com/en-us/topic/update-for-visual-c-2013-and-visual-c-redistributable-package-5b2ac5ab-4139-8acc-08e2-9578ec9b2cf1) provides the missing runtime library.
|
|
|
|
|
|
|
|
Migrating from a file-based installation
|
|
|
|
========================================
|
| ... | ... | |
