tests/eu.fbk.tools.adapter.test/src/main/resources/tools/nuXmv_linux64 · 63052f2ffae50265c6af7e647306803d9a927a9d · ESProjects / EATA · GitLab

Skip to content

GitLab

Explore

Sign in

EATA
..
tools
nuXmv_linux64

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
```

Loading