SuccessChanges

Summary

  1. Minor bugs fixed (details)
Commit 58cdf5254ad06d54cd877f012aac60b6bf7214a8 by vagrant
Minor bugs fixed
The file was modifiedttcn/TestCodec/TestCodec_Pki.ttcn
The file was modifiedetc/TestCodec/TestCodec.cfg
The file was modifiedttcn/LibIts