jani-model: Invalid action name
Open the TwoFireCracker example and submit for analysis via jani-interaction to mcsta. The submitted model is rejected with message "Received an invalid model: Error reading the "name" attribute of an action." The reason is that the array of action declarations in the submitted model contains one invalid entry {"name":[]}
("name" must be an identifier, not an array).