Incremented minor version for R5: Green kingfisher release version Overview of new functionalities: + Model handling: - Model: - Handle edge costs in (E)FSM model - Model conversions: - Partially specified to completely specified conversion has been extended with sink state option - Inject random faults to the model: - Extended with add state, remove state, remove output and change start state changes. - Next state change has been extended with strongly connectedness check - Add transition change has been extended to ensure determinism after the change. The `--preserve_input_alphabet` flag has been introduced that denotes if the input alphabet of the model can be extended. + Test suite generation: - New test generation algorithms: - Directed Chinese Postman (DCP): Provides 100% state- and transition coverage, same as Transition Tour (TT), but considers transition costs as well. - N-Switch Coverage has been rewritten from scratch - Updates on existing test generation algorithms: - Add `precondition_time_real` and `precondition_time_user` to summary results csv, which measure the real and user CPU time spent on checking the preconditions + Application examples: - SIP User Agent Client Registration process simulator according to the related introduction example + Bugfixes: See release notes for detailed information