aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2010-08-27 23:01:38 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2010-08-27 23:01:38 +0000
commitc7c218b6642fa81f103842d57e2b33d42315c66d (patch)
treeb34c589a99b7f16a3b048a3d0b3a834a325ab5f9
parent4ccf993e70f3755c01add46076e66ca40b740ad8 (diff)
Simplify
-rw-r--r--generic/pg-autotest.el5
1 files changed, 2 insertions, 3 deletions
diff --git a/generic/pg-autotest.el b/generic/pg-autotest.el
index 0db1c0e6..88c1cacf 100644
--- a/generic/pg-autotest.el
+++ b/generic/pg-autotest.el
@@ -170,15 +170,14 @@ An error is signalled if scripting doesn't complete."
(defun pg-autotest-test-script-randomjumps (file jumps)
"Load FILE and process in it by jumping around randomly JUMPS times.
-Additionally some edits are made but undone.
This should be robust against synchronization errors; we test this by
completely processing the buffer as the last step."
+;; TODO: Additionally some edits are made but undone.
(pg-autotest-find-file-restart file)
(while (> jumps 0)
(let* ((random-point (random (point-max)))
(random-edit nil) ; (< 20 (random 100)))
- (random-other (< 10 (random 100)))
- (random-thing (and random-other (random 3))))
+ (random-thing (random 10)))
(cond
((and (eq random-thing 0)
(not (proof-locked-region-full-p)))