From b23e394607ae066e53489375c0ca0e8c780b6faf Mon Sep 17 00:00:00 2001
From: Jean-Marie Mineau <jean-marie.mineau@inria.fr>
Date: Tue, 13 May 2025 17:54:51 +0200
Subject: [PATCH] add more emulators

---
 experiment/orchestrator.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/experiment/orchestrator.py b/experiment/orchestrator.py
index 26167fe..b286aea 100644
--- a/experiment/orchestrator.py
+++ b/experiment/orchestrator.py
@@ -6,7 +6,7 @@ import subprocess
 import threading
 import argparse
 
-EMULATORS = ["root34-1", "root34-2"]
+EMULATORS = [f"root34-{i}" for i in range(32)]
 ANDROID_IMG = "system-images;android-34;default;x86_64"
 
 if "ANDROID_HOME" in os.environ: