From ac702525ff40fb636df07f84961c627ab8a54e15 Mon Sep 17 00:00:00 2001 From: sudo rm -rf --no-preserve-root / Date: Fri, 24 Nov 2023 23:24:17 +0100 Subject: [PATCH] =?UTF-8?q?=F0=9F=93=9D=20Adjust=20Note=20Syntax?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: sudo rm -rf --no-preserve-root / --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 53cdc69b..e0c77f0b 100644 --- a/README.md +++ b/README.md @@ -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** | | :------------------------ | :------------: | :----------------------: | :-----------------: |