TranslatingSCCDtoDEVS/tests/1.12) NonDeterminismTest/config.json

{
    "trace": "statechart"
}