Skip to content

Commit

Permalink
added new allowed elements to MD033
Browse files Browse the repository at this point in the history
  • Loading branch information
ingridnovak committed May 19, 2024
1 parent 5f391f0 commit 9bad018
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 3 deletions.
4 changes: 4 additions & 0 deletions .github/.markdownlint.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,10 @@ MD033:
- sub
- sup
- br
- table
- tr
- td
- th
MD034: false
MD035:
style: "---"
Expand Down
6 changes: 3 additions & 3 deletions versioned_docs/version-1/spark/invariant-testing.md
Original file line number Diff line number Diff line change
Expand Up @@ -28,8 +28,8 @@ Invariants are conditions expressions that should always hold true over the cour

Examples of invariants are:

- *"The xy=k formula always holds"* for Uniswap
- *"The sum of all user balances is equal to the total supply"* for an ERC-20 token.
- _"The xy=k formula always holds"_ for Uniswap
- _"The sum of all user balances is equal to the total supply"_ for an ERC-20 token.

There are different ways to assert invariants, as outlined in the table below:

Expand Down Expand Up @@ -106,7 +106,7 @@ function invariant_example() external {
}
```

Another approach to handle different invariants across protocol states is to utilize dedicated invariant testing contracts for different scenarios. These scenarios can be bootstrapped using the `setUp` function, but it is more powerful to leverage *invariant targets* to govern the fuzzer to behave in a way that will only yield certain results (e.g., avoid liquidations).
Another approach to handle different invariants across protocol states is to utilize dedicated invariant testing contracts for different scenarios. These scenarios can be bootstrapped using the `setUp` function, but it is more powerful to leverage _invariant targets_ to govern the fuzzer to behave in a way that will only yield certain results (e.g., avoid liquidations).

## Invariant Targets

Expand Down

0 comments on commit 9bad018

Please sign in to comment.