6 |
(in-package :cl-test) |
(in-package :cl-test) |
7 |
|
|
8 |
(deftest notany.1 |
(deftest notany.1 |
9 |
(not (notany #'identity nil)) |
(not-mv (notany #'identity nil)) |
10 |
nil) |
nil) |
11 |
|
|
12 |
(deftest notany.2 |
(deftest notany.2 |
13 |
(not (notany #'identity #())) |
(not-mv (notany #'identity #())) |
14 |
nil) |
nil) |
15 |
|
|
16 |
(deftest notany.3 |
(deftest notany.3 |
22 |
nil 4) |
nil 4) |
23 |
|
|
24 |
(deftest notany.4 |
(deftest notany.4 |
25 |
(not (notany #'/= '(1 2 3 4) '(1 2 3 4 5))) |
(not-mv (notany #'/= '(1 2 3 4) '(1 2 3 4 5))) |
26 |
nil) |
nil) |
27 |
|
|
28 |
(deftest notany.5 |
(deftest notany.5 |
29 |
(not (notany #'/= '(1 2 3 4 5) '(1 2 3 4))) |
(not-mv (notany #'/= '(1 2 3 4 5) '(1 2 3 4))) |
30 |
nil) |
nil) |
31 |
|
|
32 |
(deftest notany.6 |
(deftest notany.6 |
34 |
nil) |
nil) |
35 |
|
|
36 |
(deftest notany.7 |
(deftest notany.7 |
37 |
(not (notany #'(lambda (x y) (and x y)) |
(not-mv (notany #'(lambda (x y) (and x y)) |
38 |
'(nil t t nil t) #(t nil nil t nil nil))) |
'(nil t t nil t) #(t nil nil t nil nil))) |
39 |
nil) |
nil) |
40 |
|
|
48 |
nil) |
nil) |
49 |
|
|
50 |
(deftest notany.9 |
(deftest notany.9 |
51 |
(not (notany #'zerop #*11111111111111)) |
(not-mv (notany #'zerop #*11111111111111)) |
52 |
nil) |
nil) |
53 |
|
|
54 |
(deftest notany.10 |
(deftest notany.10 |
55 |
(not (notany #'zerop #*)) |
(not-mv (notany #'zerop #*)) |
56 |
nil) |
nil) |
57 |
|
|
58 |
(deftest notany.11 |
(deftest notany.11 |
60 |
nil) |
nil) |
61 |
|
|
62 |
(deftest notany.12 |
(deftest notany.12 |
63 |
(not (notany #'(lambda (x) (not (eql x #\a))) "aaaaaaaa")) |
(not-mv (notany #'(lambda (x) (not (eql x #\a))) "aaaaaaaa")) |
64 |
nil) |
nil) |
65 |
|
|
66 |
(deftest notany.13 |
(deftest notany.13 |
67 |
(not (notany #'(lambda (x) (eql x #\a)) "")) |
(not-mv (notany #'(lambda (x) (eql x #\a)) "")) |
68 |
nil) |
nil) |
69 |
|
|
70 |
(deftest notany.14 |
(deftest notany.14 |
72 |
nil) |
nil) |
73 |
|
|
74 |
(deftest notany.15 |
(deftest notany.15 |
75 |
(not (notany 'null '(1 2 3 4))) |
(not-mv (notany 'null '(1 2 3 4))) |
76 |
nil) |
nil) |
77 |
|
|
78 |
(deftest notany.16 |
(deftest notany.16 |