$ java -classpath vanilla-1.jar:$CLASSPATH Flatten <input.xml>This reads the XML file input.xml (the hierarchical specification) and (over-)writes the XML file output.xml (the Uppaal format).
modified: L13 -> L14{guard triggerVar1 == 1; }, to L13 -> L14{guard triggerVar1 == 10; },or
modified const ALLOW_SWITCH_OFF 1; to const ALLOW_SWITCH_OFF 0;or