From c7c218b6642fa81f103842d57e2b33d42315c66d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 27 Aug 2010 23:01:38 +0000 Subject: Simplify --- generic/pg-autotest.el | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'generic') 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))) -- cgit v1.2.3