The problem is associated with emit_symbol in runtime/util/ConfigurationSerializer.cpp. It does not correctly handle the case where the symbol it is passed has sort parameters. It needs to detect this case and serialize the correct sequence of bytes corresponding to those parameters, ideally without having to reparse the symbol name every time it's called.
The problem is associated with
emit_symbolinruntime/util/ConfigurationSerializer.cpp. It does not correctly handle the case where the symbol it is passed has sort parameters. It needs to detect this case and serialize the correct sequence of bytes corresponding to those parameters, ideally without having to reparse the symbol name every time it's called.