Yentl Van Tendeloo 4ccfa9cf5d Made run_benchmarks.sh script executable | 7 years ago | |
---|---|---|
examples | 7 years ago | |
src | 7 years ago | |
README.md | 7 years ago | |
run_benchmarks.sh | 7 years ago |
Execute the file examples/client.py to start up the debugging interface for a model. The model is, however, hardcoded to the model.py file, with the Root coupled model. The examples/client.py file is only an example, and can be easily modified, as the actual debugging logic is stored in the src folder, specifically in the Statechart stored in src/sccd.xml.
To execute the benchmarks, and automatically generate their plots, run the command
./run_benchmarks.sh