Commit 4ac74ed9 authored by coolhill's avatar coolhill

increase branch coverage for Lib_BytesUtils

..by breaking its require(ments)
parent a7035376
...@@ -36,6 +36,14 @@ ...@@ -36,6 +36,14 @@
"start > input.length": { "start > input.length": {
"in": ["0x12345678", 5, 1], "in": ["0x12345678", 5, 1],
"revert":"Read out of bounds" "revert":"Read out of bounds"
},
"input.length + 31 >= input.length": {
"in": ["0x12345678", 5, "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"],
"revert":"slice_overflow"
},
"input.start + input.length >= input.start": {
"in": ["0x12345678", "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", 1],
"revert":"slice_overflow"
} }
}, },
"toBytes32": { "toBytes32": {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment