TranslatingSCCDtoDEVS/tests/5.4) PrivatePortIdsTest/config.json

{
    "trace": ["statechart", "external"]
}