We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e6ebbf8 commit 4d5d239Copy full SHA for 4d5d239
doc/src/equivalence.md
@@ -48,6 +48,6 @@ hevm equivalence \
48
```
49
If `--sig` is given, calldata is assumed to take the form of the function
50
given. If `--calldata` is provided, a specific, concrete calldata is used. If
51
-neither is provided, calldata of at most `2**64` byte is assumed. Note that a
52
-`2**64` byte calldata would go over the gas limit, and hence should cover all
53
-meaningful cases.
+neither is provided, a fully abstract calldata of at most `2**64` byte is
+assumed. Note that a `2**64` byte calldata would go over the gas limit, and
+hence should cover all meaningful cases.
0 commit comments