From 50fc67eaffe3b717ab9e48847a0ef3d255608cc1 Mon Sep 17 00:00:00 2001 From: sam bacha Date: Mon, 13 Sep 2021 17:25:10 -0700 Subject: [PATCH] chore(spelling): resolve spelling issues Signed-off-by: sam bacha --- src/dapp-tests/fail/dsProveFail.sol | 2 +- src/dapp-tests/pass/dsProvePass.sol | 4 ++-- src/dapp/libexec/dapp/dapp-test-geth-experimental | 2 +- src/dapp/libexec/dapp/dapp-verify-contract | 6 +++--- src/ethsign/README.md | 2 +- src/hevm/README.md | 2 +- src/hevm/ethjet/ethjet-ff.cc | 2 +- src/hevm/hevm-cli/hevm-cli.hs | 6 +++--- src/hevm/src/EVM/ABI.hs | 2 +- 9 files changed, 14 insertions(+), 14 deletions(-) diff --git a/src/dapp-tests/fail/dsProveFail.sol b/src/dapp-tests/fail/dsProveFail.sol index fedf07fcc..37fd3fdf4 100644 --- a/src/dapp-tests/fail/dsProveFail.sol +++ b/src/dapp-tests/fail/dsProveFail.sol @@ -56,7 +56,7 @@ contract SolidityTest is DSTest, DSMath { uint expected = usr == address(this) ? 0 // self transfer is a noop - : amt; // otherwise `amt` has been transfered to `usr` + : amt; // otherwise `amt` has been transferred to `usr` assertEq(expected, postbal - prebal); } } diff --git a/src/dapp-tests/pass/dsProvePass.sol b/src/dapp-tests/pass/dsProvePass.sol index 8d4064c53..3913376cb 100644 --- a/src/dapp-tests/pass/dsProvePass.sol +++ b/src/dapp-tests/pass/dsProvePass.sol @@ -59,12 +59,12 @@ contract SolidityTest is DSTest, DSMath { uint expected = usr == address(this) ? 0 // self transfer is a noop - : amt; // otherwise `amt` has been transfered to `usr` + : amt; // otherwise `amt` has been transferred to `usr` assertEq(expected, postbal - prebal); } function prove_burn(uint supply, uint amt) public { - if (amt > supply) return; // no undeflow + if (amt > supply) return; // no underflow token.mint(supply); token.burn(amt); diff --git a/src/dapp/libexec/dapp/dapp-test-geth-experimental b/src/dapp/libexec/dapp/dapp-test-geth-experimental index 615238df2..09449ffb8 100755 --- a/src/dapp/libexec/dapp/dapp-test-geth-experimental +++ b/src/dapp/libexec/dapp/dapp-test-geth-experimental @@ -3,7 +3,7 @@ set -e shopt -s nullglob # To run the unit tests as fast as possible, we need to avoid serial -# blockchain interactions. Preferrably we would be done in two +# blockchain interactions. Preferably we would be done in two # blocks, one for creating contracts, one for running the tests # against them. # diff --git a/src/dapp/libexec/dapp/dapp-verify-contract b/src/dapp/libexec/dapp/dapp-verify-contract index edd3f7df5..fecee196c 100755 --- a/src/dapp/libexec/dapp/dapp-verify-contract +++ b/src/dapp/libexec/dapp/dapp-verify-contract @@ -1,5 +1,5 @@ #!/usr/bin/env bash -### dapp-verify-contract -- verify contract souce on etherscan +### dapp-verify-contract -- verify contract source on etherscan ### Usage: dapp verify-contract :
[constructorArgs] set -e @@ -113,8 +113,8 @@ while [ $count -lt 5 ]; do response=$(curl -fsS "$ETHERSCAN_API_URL" -d "$query" \ --data-urlencode "compilerversion=$version" \ --data-urlencode "sourceCode@"<(echo "$source") \ - --data-urlencode "constructorArguements=$constructorArguments" -X POST) - # NOTE: the Arguements typo is in etherscan's API + --data-urlencode "constructorArguments=$constructorArguments" -X POST) + # NOTE: the Arguments typo is in etherscan's API status=$(jshon <<<"$response" -e status -u) guid=$(jshon <<<"$response" -e result -u) diff --git a/src/ethsign/README.md b/src/ethsign/README.md index bb95df705..31ef14a60 100644 --- a/src/ethsign/README.md +++ b/src/ethsign/README.md @@ -26,4 +26,4 @@ COMMANDS: ``` ## Installation -`ethsign` is distrubuted as part of the [Dapp tools suite](../../README.md). +`ethsign` is distributed as part of the [Dapp tools suite](../../README.md). diff --git a/src/hevm/README.md b/src/hevm/README.md index 1b7871f27..b49c9aacd 100644 --- a/src/hevm/README.md +++ b/src/hevm/README.md @@ -104,7 +104,7 @@ Available options: point --solver TEXT Used SMT solver: z3 (default) or cvc4 --smtdebug Print smt queries sent to the solver - --assertions [WORD256] Comma seperated list of solc panic codes to check for + --assertions [WORD256] Comma separated list of solc panic codes to check for (default: everything except arithmetic overflow) --ask-smt-iterations INTEGER Number of times we may revisit a particular branching diff --git a/src/hevm/ethjet/ethjet-ff.cc b/src/hevm/ethjet/ethjet-ff.cc index c8ab855bb..1ea2ed440 100644 --- a/src/hevm/ethjet/ethjet-ff.cc +++ b/src/hevm/ethjet/ethjet-ff.cc @@ -40,7 +40,7 @@ namespace ethjet_ff { // for loading an element of F_{q^2} (a coordinate of G_2) // consumes 64 bytes alt_bn128_Fq2 read_Fq2_element (uint8_t *in) { - // suprising "big-endian" encoding + // surprising "big-endian" encoding alt_bn128_Fq x0 = read_Fq_element(in+32); alt_bn128_Fq x1 = read_Fq_element(in); diff --git a/src/hevm/hevm-cli/hevm-cli.hs b/src/hevm/hevm-cli/hevm-cli.hs index dde1a2419..2b8dcaa30 100644 --- a/src/hevm/hevm-cli/hevm-cli.hs +++ b/src/hevm/hevm-cli/hevm-cli.hs @@ -132,7 +132,7 @@ data Command w , maxIterations :: w ::: Maybe Integer "Number of times we may revisit a particular branching point" , solver :: w ::: Maybe Text "Used SMT solver: z3 (default) or cvc4" , smtdebug :: w ::: Bool "Print smt queries sent to the solver" - , assertions :: w ::: Maybe [Word256] "Comma seperated list of solc panic codes to check for (default: everything except arithmetic overflow)" + , assertions :: w ::: Maybe [Word256] "Comma separated list of solc panic codes to check for (default: everything except arithmetic overflow)" , askSmtIterations :: w ::: Maybe Integer "Number of times we may revisit a particular branching point before we consult the smt solver to check reachability (default: 5)" } | Equivalence -- prove equivalence between two programs @@ -198,7 +198,7 @@ data Command w , maxIterations :: w ::: Maybe Integer "Number of times we may revisit a particular branching point" , askSmtIterations :: w ::: Maybe Integer "Number of times we may revisit a particular branching point before we consult the smt solver to check reachability (default: 5)" } - | BcTest -- Run an Ethereum Blockhain/GeneralState test + | BcTest -- Run an Ethereum Blockchain/GeneralState test { file :: w ::: String "Path to .json test file" , test :: w ::: [String] "Test case filter - only run specified test method(s)" , debug :: w ::: Bool "Run interactively" @@ -206,7 +206,7 @@ data Command w , diff :: w ::: Bool "Print expected vs. actual state on failure" , timeout :: w ::: Maybe Int "Execution timeout (default: 10 sec.)" } - | Compliance -- Run Ethereum Blockhain compliance report + | Compliance -- Run Ethereum Blockchain compliance report { tests :: w ::: String "Path to Ethereum Tests directory" , group :: w ::: Maybe String "Report group to run: VM or Blockchain (default: Blockchain)" , match :: w ::: Maybe String "Test case filter - only run methods matching regex" diff --git a/src/hevm/src/EVM/ABI.hs b/src/hevm/src/EVM/ABI.hs index ac89f313f..e2a40db74 100644 --- a/src/hevm/src/EVM/ABI.hs +++ b/src/hevm/src/EVM/ABI.hs @@ -21,7 +21,7 @@ Nested sequences are encoded recursively with no special treatment. - Calldata args are encoded as heterogenous sequences sans length prefix. + Calldata args are encoded as heterogeneous sequences sans length prefix. -}