Our verification workflows all depend on NuXmv. However, we cannot repackage it as part of our extension because of licensing restrictions. Additionally, nuXmv is free for academic research purposes only, and we need to make sure the user understands this before use.
At the moment we simply rely on nuXmv being available in the PATH. If this is not the case, an error occurs.
The suggestion is: if nuXmv is not found, prompt the user if they want us to download it. Show the nuXmv license and get additional confirmation before proceeding. Download nuXmv and put it in a directory where the extension can find it. (Add an extension setting with the full path to the executable). Then, resume with the verification task.
Our verification workflows all depend on NuXmv. However, we cannot repackage it as part of our extension because of licensing restrictions. Additionally, nuXmv is free for academic research purposes only, and we need to make sure the user understands this before use.
At the moment we simply rely on
nuXmvbeing available in thePATH. If this is not the case, an error occurs.The suggestion is: if nuXmv is not found, prompt the user if they want us to download it. Show the nuXmv license and get additional confirmation before proceeding. Download nuXmv and put it in a directory where the extension can find it. (Add an extension setting with the full path to the executable). Then, resume with the verification task.