Parent Directory | Revision Log | Patch
revision 1.2 by pfdietz, Sat Jan 17 22:34:46 2004 UTC | revision 1.3 by pfdietz, Sun Jun 26 14:52:06 2005 UTC | |
---|---|---|
# | Line 47 | Line 47 |
47 | nil) | nil) |
48 | ||
49 | (deftest simple-bit-vector-p.12 | (deftest simple-bit-vector-p.12 |
50 | (loop for e in *universe* | (check-type-predicate #'simple-bit-vector-p 'simple-bit-vector) |
51 | for p1 = (typep e 'simple-bit-vector) | nil) |
for p2 = (simple-bit-vector-p e) | ||
always (if p1 p2 (not p2))) | ||
t) | ||
52 | ||
53 | (deftest simple-bit-vector-p.error.1 | (deftest simple-bit-vector-p.error.1 |
54 | (signals-error (simple-bit-vector-p) program-error) | (signals-error (simple-bit-vector-p) program-error) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |