Tags

Incremented minor version because of large new feature: CEFSM handling

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