From 83a38e48ba37ea9bc17b37cbb97bff15eb74b14e Mon Sep 17 00:00:00 2001
From: Sam Hocevar <sam@hocevar.net>
Date: Fri, 22 Dec 2006 23:40:03 +0000
Subject: [PATCH] =?UTF-8?q?=20=20*=20Sync=E2=80=99ed=20README=20and=20manp?=
 =?UTF-8?q?age.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 README | 15 +++++----------
 1 file changed, 5 insertions(+), 10 deletions(-)

diff --git a/README b/README
index a7a3458..efee97b 100644
--- a/README
+++ b/README
@@ -32,15 +32,10 @@ the behaviour without using zzuf:
   # zzuf -s 87423 -r 0.01 cp movie.avi fuzzy-movie.avi
   # vlc fuzzy-movie.avi
 
-Fuzz the input of MPlayer and backup movies that caused it to crash:
+Fuzz mplayer's input with seeds 0 to 9999, launching up to 3 simultaneous
+child processes and killing mplayer if it takes more than one minute to read
+the file:
 
-  # for seed in $(seq -w 0 9999); do
-        zzuf -s ${seed} -r 0.01 -i 'movie[.]avi' mplayer -- \
-                   -benchmark -vo null -fps 1000 movie.avi >/dev/null 2>&1
-        RET=$?
-        if [ $RET != 0 ]; then
-            echo "seed ${seed}: exit $RET"
-            zzuf -s ${seed} -r 0.05 cp movie.avi movie-crashed-${seed}.avi
-        fi
-    done
+  # zzuf -q -s 0:10000 -F 3 -T 60 -r 0.02 -i movie.avi \
+         mplayer movie.avi -- -benchmark -vo null -fps 1000