Option "-explo" does not work as expected
-
In the enclosed model, when user click on run exploration button on the simulator, the output graph contains almost nothing, but in fact there should be more states and transitions. TemperatureSensor.xml
-
And in the below model, the -explo tend to infinity with many architecture tabs like "Architecture_enc_or" or "Architecture_hsm" ITSDemo.xml