Skip to content
GitLab
Explore
Sign in
ESProjects
EATA
Repository
EATA
..
tools
nuXmv_win64.exe
Find file
History
Permalink
update nuxmv executable to 2.0.0
· 63052f2f
Pietro Braghieri
authored
Jan 03, 2022
fix timed nuxmv check model
63052f2f