EATA issueshttps://gitlab.fbk.eu/ESProjects/EATA/-/issues2022-04-12T17:01:06+02:00https://gitlab.fbk.eu/ESProjects/EATA/-/issues/10Timed transition not visible in result view2022-04-12T17:01:06+02:00Andrea PerriTimed transition not visible in result viewEATA does not extract information about timed transitions.
[model_modelSystemView_TGC_MODEL_CHECKING_ANALYSIS_2022-01-10-19-50-03.xml](/uploads/87dce4fb6bf4e5e7ae53e81ced266745/model_modelSystemView_TGC_MODEL_CHECKING_ANALYSIS_2022-01-1...EATA does not extract information about timed transitions.
[model_modelSystemView_TGC_MODEL_CHECKING_ANALYSIS_2022-01-10-19-50-03.xml](/uploads/87dce4fb6bf4e5e7ae53e81ced266745/model_modelSystemView_TGC_MODEL_CHECKING_ANALYSIS_2022-01-10-19-50-03.xml)
![immagine](/uploads/9b40923cdfcbf652e5f3a280b666b5df/immagine.png)
![immagine](/uploads/6f52ffb40e1469256bf19949555689b4/immagine.png)Pietro BraghieriPietro Braghierihttps://gitlab.fbk.eu/ESProjects/EATA/-/issues/3Add check for Model Checking tab in Preferences2021-09-28T16:00:51+02:00Luca CristoforettiAdd check for Model Checking tab in PreferencesIn the Preferences, under `Model Checking`, there is the possibility to set the paths for the local tools to be used as backends. When the user selects a tool path, there is the need to click the `Test` button, to ensure that the tool me...In the Preferences, under `Model Checking`, there is the possibility to set the paths for the local tools to be used as backends. When the user selects a tool path, there is the need to click the `Test` button, to ensure that the tool meets the minimum version requirements.
Ideally, if the user doesn't do this check, it should not be possible to close the dialog and store the changes. Currently there in no such check.