TranslatingSCCDtoDEVS/tests/1.2) AfterTransitionTest/config.json

{
    "trace": "statechart"
}