SuccessChanges

Summary

  1. Bug fixed in TestCodec_Pki (details)
Commit 46566577b3a129e7fceccc58771db9f0bace1284 by yann.garcia
Bug fixed in TestCodec_Pki
The file was modifiedttcn/TestCodec/TestCodec_Pki.ttcn