Describe the desired feature
Current Situation
Bytes in Echidna corpus files use the ByteString Show representation. This produces a Haskell string literal using Haskell string-literal escape conventions, requiring other tools to understand Haskell-specific escape sequences.
{
"tag": "SolCall",
"contents": [
"example",
[
{
"tag": "AbiBytes",
"contents": [2, "\"\\NUL\\255\""]
}
]
]
}
Suggested Change
Represent bytes as 0x-prefixed hexadecimal strings instead.
{
"tag": "SolCall",
"contents": [
"example",
[
{
"tag": "AbiBytes",
"contents": [2, "0x00ff"]
}
]
]
}
Describe the desired feature
Current Situation
Bytes in Echidna corpus files use the
ByteStringShowrepresentation. This produces a Haskell string literal using Haskell string-literal escape conventions, requiring other tools to understand Haskell-specific escape sequences.{ "tag": "SolCall", "contents": [ "example", [ { "tag": "AbiBytes", "contents": [2, "\"\\NUL\\255\""] } ] ] }Suggested Change
Represent bytes as
0x-prefixed hexadecimal strings instead.{ "tag": "SolCall", "contents": [ "example", [ { "tag": "AbiBytes", "contents": [2, "0x00ff"] } ] ] }