Add invocations for SMO

scripts/udpCommandDemuxer/reproduce_heisenbug.sh

@@ -36,6 +36,7 @@ fi
 # Paths - all relative to working directory
 SALMANOFF_BINARY="$WORKING_DIR/salmanoff"
 GDB_SCRIPT="$SCRIPT_DIR/gdb_heisenbug.gdb"
+DELL_LAPTOP_ARGS_INC="$SCRIPT_DIR/../dell_laptop_salmanoff_args.inc.sh"
 
 # Check if binary exists
 if [ ! -f "$SALMANOFF_BINARY" ]; then
@@ -50,16 +51,14 @@ if [ ! -f "$GDB_SCRIPT" ]; then
     exit 1
 fi
 
-# Command line arguments for salmanoff
-SALMANOFF_ARGS=(
-    -p commonLibs/livoxProto1/
-    -p commonLibs/xcbXorg/
-    -p stimBuffApis/xcbWindow/
-    -p stimBuffApis/livoxGen1/
-    -a libxcbWindow.so
-    -a liblivoxGen1.so
-    -d devices/bodies/dell-laptop.daps
-)
+if [ ! -f "$DELL_LAPTOP_ARGS_INC" ]; then
+    echo "Error: dell-laptop salmanoff args not found at $DELL_LAPTOP_ARGS_INC" >&2
+    exit 1
+fi
+
+# shellcheck source=../dell_laptop_salmanoff_args.inc.sh
+. "$DELL_LAPTOP_ARGS_INC"
+SALMANOFF_ARGS=( "${DELL_LAPTOP_SALMANOFF_ARGS[@]}" )
 
 echo "=== UdpCommandDemuxer Heisenbug Reproduction Script ==="
 echo "Working Directory: $WORKING_DIR"