We’re here to help you

Menu

Known Issues in Dezyne

This is a list of known issues for Dezyne:

  • Folders with spaces in their name or in the path leading to them are not supported as target folders for Dezyne dependencies, like Node.js and dzn

  • In case of no views after upgrade from 2.8.x to 2.9.x please close all Views and perform a Reset Perspective. This should bring back all views.

  • Shortly after release of 2.9.0 it was brought to our attention that the LegoBallSorter example project can not be downloaded using Dezyne IDE version 2.9.0. Please upgrade to Dezyne IDE version 2.9.1.

  • Those who install Dezyne on Ubuntu versions greater or equal than 18.04 and do not have the 'libgconf-2-4' library installed will receive the 'could not create any browser' message. Please ensure that you have installed the 'libgconf-2-4' library.

  • In some corner cases, nested function calls will cause a failing verification.

  • Not all old(er) versions of the Dezyne Eclipse GUI/plugin notify you that a new version is available. Please empty the 'dezyne_folder/p2/org.eclipse.equinox.p2.repository/cache' folder and restart Dezyne, or simply download the new version and use it with your (old) workspace.

  • In order to avoid error dialog windows and strange looking System Views we advise that you store files belonging to only one modelling project and only one version of them in an Eclipse Project, sometimes referred as a Modelling Project

  • In the Eclipse based stand-alone client the Views (i.e. system views, state charts, state and event tables, and sequence charts) are not displayed if the Dezyne model file is not included in an Eclipse Project, sometimes referred as a Modelling Project

  • Views (i.e. system views, state charts, state and event tables) are not cleared if they can not be updated due to an error in the model or due to missing data

  • The Export to image feature is not working in Dezyne 2.x.y

  • The Print feature is not working in Dezyne 2.x.y

  • In addition to the Eclipse proxy settings, also the 'http_proxy' environment variable has to be set. See 'dzn --help' for instructions.

  • The blocking keyword has meaning only for C# and C++ code generation.

  • The absence of an open source header in the generated code does not imply commercial support.

  • Long list of guards lead to nested if-then-else constructs in the generated code which might cause a 'nesting overflow' error in VisualStudio during compilation.

  • It seems that the Dezyne User Guide is not accessible from within Eclipse if Dezyne is installed as a plugin

  • The webclient has been removed, evaluation from the browser is supported via the command line.

  • Users having an old version of Node.js installed on their system might experience problems in using the Dezyne services (i.e. simulation, verification and/or code generation). Therefore, we recommend that our users upgrade their Node.js to version v6.10.1 or uninstall the old version and leave it to the Dezyne Eclipse GUI/plugin to install the proper Node.js version.

  • In case that views, i.e. system diagrams, state charts, state and event tables, or sequence views, are not visible under Linux, please install libwebkitgtk-1.0.

  • Those who download and use the Eclipse based stand-alone client without Java RTE need to ensure that they have Java 8.0 installed on their system.

  • Due to some limitations/problems with Eclipse and GTK 3 there are some issues when installing Dezyne as a plugin, therefore GTK 2 is needed. Please add the following two lines before '-vm' in your Eclipse.ini:

--launcher.GTK_version
          2
  • When using Dezyne service 2.1.0 there can be cases when the Simulator reports wrongly a deadlock which is correctly not reported by the Verifier. Please make sure that you use service 2.1.1 to avoid this situation.

  • The Dezyne 2.1.0 Eclipse based stand-alone client is not able to install the Dezyne command line client, a.k.a. dzn, on MacOSx. Please download and install the Dezyne 2.1.1 Eclipse based stand-alone client.

  • Due to access rights to files the Dezyne 2.0.0 Eclipse based stand-alone client with Java RTE can not be updated to 2.1.0. Therefore, if you want to use the Eclipse based stand-alone client you have to download it and pack it out. "Old" workspaces can be still opened in the new client.

  • The Dezyne 2.x.y Eclipse based stand-alone client does not work with the Dezyne command line client, a.k.a. dzn, 1.3.0. Please uninstall this version. The Dezyne Eclipse based stand-alone client will install the new Dezyne command line client automatically.

Please let us know if you find more issues so that we can keep our users informed and we can address them as soon as possible.

Thanks.

If you have questions that weren’t answered by this Guide,
let our support team help you out.

Enjoy this article? Don't forget to share.