47 |
|
|
48 |
(deftest logbitp.3 |
(deftest logbitp.3 |
49 |
(logbitp most-positive-fixnum 0) |
(logbitp most-positive-fixnum 0) |
50 |
0) |
nil) |
51 |
|
|
52 |
(deftest logbitp.4 |
(deftest logbitp.4 |
53 |
(notnot-mv (logbitp most-positive-fixnum -1)) |
(notnot-mv (logbitp most-positive-fixnum -1)) |
55 |
|
|
56 |
(deftest logbitp.5 |
(deftest logbitp.5 |
57 |
(logbitp (1+ most-positive-fixnum) 0) |
(logbitp (1+ most-positive-fixnum) 0) |
58 |
0) |
nil) |
59 |
|
|
60 |
(deftest logbitp.6 |
(deftest logbitp.6 |
61 |
(notnot-mv (logbitp (1+ most-positive-fixnum) -1)) |
(notnot-mv (logbitp (1+ most-positive-fixnum) -1)) |