From c41f015e77eb37f55a99c5af953a246f91ddef94 Mon Sep 17 00:00:00 2001
From: Matthew Sotoudeh <matthew@masot.net>
Date: Thu, 16 May 2024 20:23:16 -0700
Subject: Grow & shrink model checking

---
 README | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'README')

diff --git a/README b/README
index 72e385e..0717846 100644
--- a/README
+++ b/README
@@ -67,8 +67,8 @@ Current status of the test harness(es):
     - [X] reallocate
     - [X] move_buddy
     - [X] reserve
-    - [ ] grow_buddy
-    - [ ] shrink_buddy
+    - [X] grow_buddy
+    - [X] shrink_buddy
 
 ### Usage
 
-- 
cgit v1.2.3