User Guide should be clearer about installation of LTLSIM

[smithdtyler]

The user guide says,

Note: To run the LTLSIM simulator, a NuSMV (see http://nusmv.fbk.eu/) installation is required. Please make sure that the NuSMV > binaries directory is added to the PATH environment variable. Additionally, please add $PATH_TO_FRET/fret/tools/LTLSIM/ltlsim-> core/simulator to the PATH environment variable.

Add a note clarifying that $PATH_TO_FRET in this context is the path location where the FRET git repo was cloned, not the path to the FRET binary, which might be elsewhere.

[smithdtyler]

It also appears that users need to compile ltlsim locally, which is not mentioned in the user guide.

[anmavrid]

Thanks, @smithdtyler! I have updated the FRET installation instructions regarding $PATH_TO_FRET and this change will become available in the next FRET minor release.

[anmavrid]

It also appears that users need to compile ltlsim locally, which is not mentioned in the user guide.

ltlsim does not need to be compiled locally. It compiles as part of the npm run fret install script.