Originally reported byLuca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
Currently, providing an empty reset map results in a reduction of the target space to the empty space. Similarly, partial resets are handled incorrectly. An unspecified reset for a space variable instead should be interpreted as the identity function, as happens when we use the syntax for a new transition where no reset is specified.
Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
Currently, providing an empty reset map results in a reduction of the target space to the empty space. Similarly, partial resets are handled incorrectly. An unspecified reset for a space variable instead should be interpreted as the identity function, as happens when we use the syntax for a new transition where no reset is specified.