projects
/
fiveam.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Release 1.1
[fiveam.git]
/
src
/
random.lisp
diff --git
a/src/random.lisp
b/src/random.lisp
index
615e9ea
..
6b2059a
100644
(file)
--- a/
src/random.lisp
+++ b/
src/random.lisp
@@
-1,6
+1,6
@@
-;; -*- lisp -*-
+;;;; -*- Mode: Lisp; indent-tabs-mode: nil -*-
-(in-package :it.bese.FiveAM)
+(in-package :it.bese.fiveam)
;;;; ** Random (QuickCheck-ish) testing
;;;; ** Random (QuickCheck-ish) testing
@@
-66,7
+66,7
@@
Examples:
(for-all (((a b) (gen-two-integers)))
(is (integerp a))
(is (integerp b)))"
(for-all (((a b) (gen-two-integers)))
(is (integerp a))
(is (integerp b)))"
- (with-unique-names (test-lambda-args)
+ (with-gensyms (test-lambda-args)
`(perform-random-testing
(list ,@(mapcar #'second bindings))
(lambda (,test-lambda-args)
`(perform-random-testing
(list ,@(mapcar #'second bindings))
(lambda (,test-lambda-args)
@@
-144,7
+144,7
@@
Examples:
(:method ((object t)) nil))
(defmethod reason ((result for-all-test-failed))
(:method ((object t)) nil))
(defmethod reason ((result for-all-test-failed))
- (format nil "Falsafiable with ~S" (slot-value result 'failure-values)))
+ (format nil "Falsifiable with ~S" (slot-value result 'failure-values)))
(defclass for-all-test-no-tests (test-failure for-all-test-result)
())
(defclass for-all-test-no-tests (test-failure for-all-test-result)
())