::
:: batch file for execution of NuSMV on file as arg
::
:: Author: Elena Pagani;  last update: 8 Feb. 2024
::

@echo off
cls

CALL  c:\Users\Pagani\Documents\APPLICAZIONI\NuSMV-2.6.0-win64\bin\NuSMV.exe -source testFM24bat.src %1

:: END expFM2024.bat