TranslatingSCCDtoDEVS/tests/10.0) TrafficLightTest/config.json

{
    "trace": "statechart"
}