|Yentl Van Tendeloo 4ccfa9cf5d Made run_benchmarks.sh script executable||5 years ago|
|examples||5 years ago|
|src||5 years ago|
|README.md||5 years ago|
|run_benchmarks.sh||5 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