From 2842db2a8e59e474416e11ca6a7f31895810c01b Mon Sep 17 00:00:00 2001
From: Vini murafa <06.poems_races@icloud.com>
Date: Thu, 9 Jan 2025 22:23:19 +0100
Subject: [PATCH] typo fix SUMMARY.md

---
 test/SUMMARY.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/SUMMARY.md b/test/SUMMARY.md
index dc6610af..2abfca1a 100644
--- a/test/SUMMARY.md
+++ b/test/SUMMARY.md
@@ -1,6 +1,6 @@
 # Tests summary.
 
-There are 4 main contracts, one abstract and 2 peripherals ones (lib, utils), total sloc is 379. Main implementation is built symetrically - L1 and L2, with a factory/child pattern.
+There are 4 main contracts, one abstract and 2 peripherals ones (lib, utils), total sloc is 379. Main implementation is built symmetrically - L1 and L2, with a factory/child pattern.
 
 ## Unit Tests
 Current coverage is 100% of the branches for the 7 contracts, across 121 tests (all passing), except one branch flagged as non covered in the L1Adapter (a burn amount of 0, which should not revert) - manually reviewed as covered.
@@ -46,4 +46,4 @@ Limitations and future improvements:
 
 
 ### Formal Verification: Symbolic Execution
-We used Halmos to test 6 of these properties. Properties not tested are either not easily challenged with symbolic execution (statefullness needed) or limited by Halmos itself (hitting loops in the implementation for instance).
\ No newline at end of file
+We used Halmos to test 6 of these properties. Properties not tested are either not easily challenged with symbolic execution (statefullness needed) or limited by Halmos itself (hitting loops in the implementation for instance).