Thanks for the examples!! I was able to construct arbitrary lists, which is what I needed.
Some feedback you might find useful: I wanted to create a list with fixed length and arbitrary integers, and I think it can't be done with the public API. My idea was to use (choose-list arbitrary-integer 100), but arbitrary-integer is not a generator. My solution was to export arbitrary-generator and create the list using (choose-list (arbitrary-generator arbitrary-integer) 100). Is there a recommended way for user-defined generators? I have a language grammar defined with PLAI's define-type, and was wondering how to create a generator for random programs (even if they are ill-typed). Nevertheless I think your quickcheck library is cool, and would love to see it as part of the Racket distribution. (so much that I offer to help writing docs :) Thanks 2012/8/17 Michael Sperber <sper...@deinprogramm.de> > > Ismael Figueroa Palet <ifiguer...@gmail.com> writes: > > > I copied the quickcheck folder to my project, but I don't know how to use > > it :-( > > do you have any examples of how to use it? do I need to copy other > > collects, or do I have to use the full deinprogramm language? > > No, you don't. It can be used as a library. > > Here's a few examples I use for testing (which can be run using > `(quickcheck <property>)'): > > (define rev-app/ > (property ((xs (arbitrary-list arbitrary-integer)) > (ys (arbitrary-list arbitrary-integer))) > (equal? (reverse (append xs ys)) (append (reverse ys) (reverse > xs))))) > > (define broken-rev-app/ > (property ((xs (arbitrary-list arbitrary-integer)) > (ys (arbitrary-list arbitrary-integer))) > (equal? (reverse (append ys xs)) (append (reverse ys) (reverse > xs))))) > > (define char->integer/ > (property ((ch arbitrary-char)) > (char=? ch (integer->char (char->integer ch))))) > > (define string->list/ > (property ((str arbitrary-string)) > (string=? str (list->string (string->list str))))) > > (define vector->list/ > (property ((vec (arbitrary-vector arbitrary-integer))) > (equal? vec (list->vector (vector->list vec))))) > > (define map-append/ > (property ((proc (arbitrary-procedure arbitrary-integer arbitrary-char)) > (xs (arbitrary-list arbitrary-char)) > (ys (arbitrary-list arbitrary-char))) > (equal? (map proc (append xs ys)) > (append (map proc xs) (map proc ys))))) > > (define ttt/ > (property ((a (arbitrary-record cons (list car cdr) arbitrary-integer > arbitrary-integer))) > (write (list 'aaa a)) (newline) > #t)) > > (define max-le/ > (property ((x arbitrary-integer) > (y arbitrary-integer)) > (==> (<= x y) > (= (max x y) y)))) > > (define insert1/ > (property ((x arbitrary-integer) > (xs (arbitrary-list arbitrary-integer))) > (==> (list-sorted? xs <) > (trivial (null? xs) > (list-sorted? (insert < x xs) <))))) > > (define insert2/ > (property ((x arbitrary-integer) > (xs (arbitrary-list arbitrary-integer))) > (==> (list-sorted? xs <) > (collect (length xs) > (list-sorted? (insert < x xs) <))))) > > (define (insert <= x xs) > (cond > ((null? xs) (list x)) > ((<= x (car xs)) > (cons x xs)) > (else > (cons (car xs) (insert <= x (cdr xs)))))) > > ; This only tests whether the coarbitrary of arbitrary-real works in > ; acceptable time. > (define xxx/ > (property ((x arbitrary-real) > (p (arbitrary-procedure arbitrary-boolean arbitrary-real))) > (or (p x) > (not (p x))))) > > (define non-assoc/ > (property ((a arbitrary-real) > (b arbitrary-real) > (c arbitrary-real)) > (= (+ (+ a b) c) > (+ a (+ b c))))) > > -- > Cheers =8-} Mike > Friede, Völkerverständigung und überhaupt blabla > -- Ismael
____________________ Racket Users list: http://lists.racket-lang.org/users
