Skip to content
Snippets Groups Projects
Commit bfda2d6e authored by Merlin Göttlinger's avatar Merlin Göttlinger
Browse files

Made generation instructions clearer

parent 4bb7b8c4
No related branches found
No related tags found
No related merge requests found
** Generating the example data ** Generating the example data
1. Clone dOSEK and follow its instructions (creating =build= folder, generating a build environment with the =--generate-mockup=true= flag, \dots) making sure you can build it 1. Clone dOSEK and follow its instructions (creating =build= folder, generating a build environment with the =--generate-mockup=true= flag, \dots) making sure you can build it
2. Place the two executables =hsmv-exe= and =mockup_generator= on your =PATH= 2. Place the two executables =hsmv-exe= and =mockup_generator= on your =PATH=
3. Run the =generate.sh= script 3. Run the =generate.sh {pathToDosek} {fileWithListOfMakeTargetsToGenerate}= script
** Modelchecking the example data ** Modelchecking the example data
Just use =NuSMV yourexamplefile.smv= Just use =NuSMV {yourexamplefile.smv}=
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment