TAPAAL 3.9.2

Written for TAPAAL by Jiri Srba on 2022-02-01

We are happy to announce a new release of TAPAAL 3.9.2 that contains fixes in transition name highlighting,
in the simulator as well as in the over/under-approximation options for the verifydtapn engine.