From 9444619722f7c781c2f6d5df1b9ab631e1fb7f5f Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Tue, 6 Aug 2024 15:42:07 +0200
Subject: [PATCH] Experiment with length 2 to see if it affects error rate

---
 src/domain/stm_tests_dls.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/domain/stm_tests_dls.ml b/src/domain/stm_tests_dls.ml
index d0b8a0fa..649b8909 100644
--- a/src/domain/stm_tests_dls.ml
+++ b/src/domain/stm_tests_dls.ml
@@ -6,7 +6,7 @@ open STM
 
 module DLSConf =
 struct
-  let length = 4
+  let length = 2
 
   type index = int
   type cmd =