mirror of
https://github.com/nasa/trick.git
synced 2025-03-27 14:18:41 +00:00
* Extended the size of the character array to fully fit the string. * Changed to sizeof().
* Extended the size of the character array to fully fit the string. * Changed to sizeof().