From 323ed0f3dcbafe8df66cc50d9a0e2c511dd7f045 Mon Sep 17 00:00:00 2001
From: Isaac Buehner <165332265+isaacdbeans@users.noreply.github.com>
Date: Tue, 27 Aug 2024 10:49:31 -0600
Subject: [PATCH] Update TODO.md

Added vector mutations to the TODO.md
---
 TODO.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/TODO.md b/TODO.md
index 0e27d5df4..88c004691 100644
--- a/TODO.md
+++ b/TODO.md
@@ -3,6 +3,7 @@ Alive2 TODO list
 
 Making counterexamples easier to read
 -------------------------------------
+- add vector mutations such as shufflevector, insertelement, changing vector size, manually setting vector values, and changing functions being applied to the vector
 
 - don't use undef/poison in CEX unless necessary