You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In SimpleMRS, when a string-pred containing reserved characters (whitespace, <, [, etc.) is read in, it will be serialized without quotes, leading to a form that can't be decoded again.
From #371 (comment)
In SimpleMRS, when a string-pred containing reserved characters (whitespace,
<
,[
, etc.) is read in, it will be serialized without quotes, leading to a form that can't be decoded again.On serialization, the predicates should be checked for the presence of such characters. If the characters are present, the predicate should be quoted.
The text was updated successfully, but these errors were encountered: