7 |
|
|
8 |
(deftest identity.1 |
(deftest identity.1 |
9 |
(loop for x in *universe* |
(loop for x in *universe* |
10 |
always (eqlt x (identity x))) |
always (eqlt x (check-values (identity x)))) |
11 |
t) |
t) |
12 |
|
|
13 |
(deftest identity.2 |
(deftest identity.2 |
14 |
(let ((x (ash 1 100))) |
(let ((x (ash 1 100))) |
15 |
(eqlt x (identity x))) |
(eqlt x (check-values (identity x)))) |
16 |
t) |
t) |
17 |
|
|
18 |
(deftest identity.3 |
(deftest identity.3 |
19 |
(let ((x 1.00000001)) |
(let ((x 1.00000001)) |
20 |
(eqlt x (identity x))) |
(eqlt x (check-values (identity x)))) |
21 |
t) |
t) |
22 |
|
|
23 |
(deftest identity.error.1 |
(deftest identity.error.1 |