diff options
| author | Matthew Sotoudeh <matthew@masot.net> | 2024-05-16 20:23:16 -0700 |
|---|---|---|
| committer | Matthew Sotoudeh <matthew@masot.net> | 2024-05-16 20:23:16 -0700 |
| commit | c41f015e77eb37f55a99c5af953a246f91ddef94 (patch) | |
| tree | a02bc2755e459c952cf7fe0a692399c7f4d732b4 /README | |
| parent | 2e7e1c12a74c64c1f908e7f071af8d2286537e95 (diff) | |
Grow & shrink model checking
Diffstat (limited to 'README')
| -rw-r--r-- | README | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |