From 86a026a84688af679c1b3d19808ff6f7169972ee Mon Sep 17 00:00:00 2001
From: Jean-Marie Mineau <jean-marie.mineau@inria.fr>
Date: Tue, 8 Apr 2025 15:28:50 +0200
Subject: [PATCH] add delay to grodd runner

---
 frida/theseus_frida/app_exploration.py | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/frida/theseus_frida/app_exploration.py b/frida/theseus_frida/app_exploration.py
index 4e788a3..ffeabeb 100644
--- a/frida/theseus_frida/app_exploration.py
+++ b/frida/theseus_frida/app_exploration.py
@@ -15,9 +15,14 @@ def explore_app(
     android_sdk: Path | None = None,
 ):
     if USE_GRODD:
-        time.sleep(5)  # let the app load
+        time.sleep(1)  # let the app load
         grodd_runner(
-            "grodd", device, timeout=300, package=package, android_sdk=android_sdk
+            "grodd",
+            device,
+            timeout=300,
+            package=package,
+            android_sdk=android_sdk,
+            slowdown=1.0,
         )
 
     else: