Fix parsing string constants that start with 0x (#958)

crytic · Mar 6, 2023 · fef5dae · fef5dae
1 parent 16db7e5
commit fef5dae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/Echidna/Processor.hs b/lib/Echidna/Processor.hs
@@ -113,7 +113,7 @@ instance FromJSON SlitherInfo where
           "string" ->
             pure . Just . AbiString $
               if "0x" `isPrefixOf` v
-              then fromRight (error ("invalid b16 decoding of: " ++ show v)) $ BS16.decode $ BSU.fromString $ drop 2 v
+              then fromRight (BSU.fromString v) $ BS16.decode $ BSU.fromString $ drop 2 v
               else BSU.fromString v
 
           "address" -> pure $ AbiAddress . Addr <$> readMaybe v