PDEVSOmniscientDebugger

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