No Description

Yentl Van Tendeloo 4ccfa9cf5d Made run_benchmarks.sh script executable 5 years ago
examples d8129147f9 Initial push to public repository 5 years ago
src d8129147f9 Initial push to public repository 5 years ago
README.md d51abba183 Added README to the project 5 years ago
run_benchmarks.sh 4ccfa9cf5d Made run_benchmarks.sh script executable 5 years ago

README.md

Execution

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.

Benchmarks

To execute the benchmarks, and automatically generate their plots, run the command

./run_benchmarks.sh