2
;;;; Author: Paul Dietz
3
;;;; Created: Tue Apr 20 22:10:53 2004
4
;;;; Contains: Tests for printing of bit vectors
6
(compile-and-load "printer-aux.lsp")
10
(deftest print.bit-vector.1
11
(with-standard-io-syntax
12
(write-to-string #* :readably nil :escape nil))
15
(deftest print.bit-vector.2
16
(with-standard-io-syntax
17
(subseq (write-to-string #* :readably nil :escape nil :array nil)
21
(deftest print.bit-vector.3
22
(with-standard-io-syntax
23
(write-to-string #*001101010011011 :readably nil :escape nil))
26
(deftest print.bit-vector.4
27
(with-standard-io-syntax
28
(subseq (write-to-string #*11010011010110101
29
:readably nil :escape nil :array nil)
33
(deftest print.bit-vector.5
34
(let* ((bv1 #*0001100101)
35
(bv2 (make-array 5 :displaced-to bv1
36
:displaced-index-offset 1
38
(with-standard-io-syntax
39
(write-to-string bv2 :readably nil :escape nil)))
42
(deftest print.bit-vector.6
43
(let* ((bv (make-array 10
45
:initial-contents '(1 0 0 1 0 0 1 1 1 0)
47
(with-standard-io-syntax
48
(write-to-string bv :readably nil :escape nil)))
52
(deftest print.bit-vector.7
53
(let* ((bv (make-array 10
55
:initial-contents '(1 0 0 1 0 0 1 1 1 0)
57
(with-standard-io-syntax
58
(write-to-string bv :readably nil :escape nil)))
63
(deftest print.bit-vector.random
65
for len = (random 100)
66
for bv = (coerce (loop repeat len collect (random 2)) 'bit-vector)
68
nconc (randomly-check-readability bv))