5 |
|
|
6 |
(in-package :cl-test) |
(in-package :cl-test) |
7 |
|
|
8 |
|
(compile-and-load "numbers-aux.lsp") |
9 |
|
|
10 |
(deftest evenp.error.1 |
(deftest evenp.error.1 |
11 |
(classify-error (evenp)) |
(classify-error (evenp)) |
12 |
program-error) |
program-error) |
29 |
nil) |
nil) |
30 |
|
|
31 |
(deftest evenp.3 |
(deftest evenp.3 |
32 |
(let ((upper-bound most-positive-fixnum) |
(loop for x = (random-fixnum) |
33 |
(lower-bound most-negative-fixnum)) |
repeat 10000 |
34 |
(loop for x = (- (random (- upper-bound lower-bound)) lower-bound) |
when (or |
35 |
repeat 10000 |
(not (evenp (+ x x))) |
36 |
when (or |
(evenp (+ x x 1)) |
37 |
(not (evenp (+ x x))) |
(if (evenp x) |
38 |
(evenp (+ x x 1)) |
(or (evenp (1+ x)) |
39 |
(if (evenp x) |
(evenp (1- x)) |
40 |
(or (evenp (1+ x)) |
(/= (mod x 2) 0)) |
41 |
(evenp (1- x)) |
(or (not (evenp (1+ x))) |
42 |
(/= (mod x 2) 0)) |
(not (evenp (1- x))) |
43 |
(or (not (evenp (1+ x))) |
(= (mod x 2) 0)))) |
44 |
(not (evenp (1- x))) |
collect x) |
|
(= (mod x 2) 0)))) |
|
|
collect x)) |
|
45 |
nil) |
nil) |
46 |
|
|
47 |
(deftest evenp.4 |
(deftest evenp.4 |
48 |
(let ((upper-bound 1000000000000000) |
(let ((upper-bound 1000000000000000) |
49 |
(lower-bound -1000000000000000)) |
(lower-bound -1000000000000000)) |
50 |
(loop for x = (- (random (- upper-bound lower-bound)) lower-bound) |
(loop for x = (random-from-interval upper-bound lower-bound) |
51 |
repeat 10000 |
repeat 10000 |
52 |
when (or |
when (or |
53 |
(not (evenp (+ x x))) |
(not (evenp (+ x x))) |