Skip to content

Commit

Permalink
📝 Adjust Note Syntax
Browse files Browse the repository at this point in the history
Signed-off-by: sudo rm -rf --no-preserve-root / <[email protected]>
  • Loading branch information
pcaversaccio authored Nov 24, 2023
1 parent e2f9af3 commit ac70252
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -103,7 +103,8 @@ pnpm add --save-dev snekmate

This repository contains [Foundry](https://github.com/foundry-rs/foundry)-based unit tests, property-based tests (i.e. fuzzing), and invariant tests for all contracts, if applicable. All tests are run as part of the CI pipeline [`test-contracts`](./.github/workflows/test-contracts.yml).

> **Note:** An _invariant_ is a property of a program that should always hold true. Fuzzing is a way of checking whether the invariant is falsifiable.
> [!NOTE]
> An _invariant_ is a property of a program that should always hold true. Fuzzing is a way of checking whether the invariant is falsifiable.
| **Contract** | **Unit Tests** | **Property-Based Tests** | **Invariant Tests** |
| :------------------------ | :------------: | :----------------------: | :-----------------: |
Expand Down

0 comments on commit ac70252

Please sign in to comment.