diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-27 23:01:38 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-27 23:01:38 +0000 |
commit | c7c218b6642fa81f103842d57e2b33d42315c66d (patch) | |
tree | b34c589a99b7f16a3b048a3d0b3a834a325ab5f9 /generic/pg-autotest.el | |
parent | 4ccf993e70f3755c01add46076e66ca40b740ad8 (diff) |
Simplify
Diffstat (limited to 'generic/pg-autotest.el')
-rw-r--r-- | generic/pg-autotest.el | 5 |
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))) |