如何测试我的球拍快速检查生成器？

Question

假设我有一个间隔结构生成器，例如

(struct interval (lo hi)
      #:methods gen:custom-write
    [(define write-proc
       (make-constructor-style-printer
        (lambda (obj) 'interval)
        (lambda (obj) (list (interval-hi obj) (interval-lo obj)))))])

(define (choose-interval [min-value -100] [max-value 100])
  (bind-generators
   ([lo (choose-real min-value max-value)]
    [hi (choose-real lo max-value)])
   (interval lo hi)))

根据文档生成器，文档中有一个名为 proc that takes a test size argument and a random number generator. But where do I get this random number generator? The make-random-generator 的符号实际上并未由模块导出！

我如何从这个生成器中获取一些值，以便我可以确定它是否正常工作？

Answer 1

make-random-generator 应该导出。参见 This PR。

如何测试我的球拍快速检查生成器？

How do I test my racket quickcheck generator?

racket

quickcheck