Even though Trick supports wide characters (i.e. wchar_t), it appears Trick does not support the std::wstring type. However, the TRICK_TYPE enumeration seems to imply std::wstring is supported because there is a TRICK_WSTRING entry. Native Trick support for std::wstring will be needed for TrickHLA since std::wstring is being used and we will need to checkpoint this data type.
Using the Trick MemoryManager, I get these errors when using a std::wstring.
MemoryManager:ERROR:Couldn't find function "io_src_sizeof_std__wstring()". dlerror= dlsym(RTLD_DEFAULT, io_src_sizeof_std__wstring): symbol not found
MemoryManager:ERROR:size of type "std::wstring" not found.
MemoryManager:ERROR:get_type_attributes failed for type: std::wstring
Process terminated by signal SIGSEGV
Even though Trick supports wide characters (i.e. wchar_t), it appears Trick does not support the std::wstring type. However, the TRICK_TYPE enumeration seems to imply std::wstring is supported because there is a TRICK_WSTRING entry. Native Trick support for std::wstring will be needed for TrickHLA since std::wstring is being used and we will need to checkpoint this data type.
Using the Trick MemoryManager, I get these errors when using a std::wstring.
MemoryManager:ERROR:Couldn't find function "io_src_sizeof_std__wstring()". dlerror= dlsym(RTLD_DEFAULT, io_src_sizeof_std__wstring): symbol not found
MemoryManager:ERROR:size of type "std::wstring" not found.
MemoryManager:ERROR:get_type_attributes failed for type: std::wstring
Process terminated by signal SIGSEGV