You need to install the following packages:
sudo apt install spin
sudo apt install gcc
You can find a script named macro.sh
in the root of the project. This script is used to quickly and easierly run the different models. The best way to use it is to add it to your .bashrc
file.
cat macro.sh >> ~/.bashrc
Then you can use it like this:
- To run a model:
promel-sim <model_name>
- To verify a model:
promel-verif <model_name>