Run fewer random tests
This commit is contained in:
parent
4b5e87abe1
commit
83cb692738
|
@ -813,7 +813,7 @@
|
||||||
#:try-to-move? try-to-move?
|
#:try-to-move? try-to-move?
|
||||||
#:contract-this? contract-this?)
|
#:contract-this? contract-this?)
|
||||||
(edit-string str start end dest-pos try-to-move?)))
|
(edit-string str start end dest-pos try-to-move?)))
|
||||||
(for ([i (in-range 1000)])
|
(for ([i (in-range 100)])
|
||||||
(random-check-edit-string))
|
(random-check-edit-string))
|
||||||
|
|
||||||
(define (check-move/copy+delete-property)
|
(define (check-move/copy+delete-property)
|
||||||
|
@ -840,7 +840,7 @@
|
||||||
[(<= end dest-pos)
|
[(<= end dest-pos)
|
||||||
(send t2 delete start end)])
|
(send t2 delete start end)])
|
||||||
(check-equal? (send t1 get-text) (send t2 get-text)))
|
(check-equal? (send t1 get-text) (send t2 get-text)))
|
||||||
(for ([i (in-range 1000)])
|
(for ([i (in-range 100)])
|
||||||
(check-move/copy+delete-property))
|
(check-move/copy+delete-property))
|
||||||
|
|
||||||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||||
|
|
Loading…
Reference in New Issue
Block a user