tests/eu.fbk.tools.adapter.test/src/main/resources/models/timed/correct.smv · 63052f2ffae50265c6af7e647306803d9a927a9d · ESProjects / EATA · GitLab

Jan 03, 2022
63052f2f
update nuxmv executable to 2.0.0 · 63052f2f
Pietro Braghieri authored Jan 03, 2022
```
fix timed nuxmv check model
```
63052f2f
update nuxmv executable to 2.0.0
Pietro Braghieri authored Jan 03, 2022
```
fix timed nuxmv check model
```