source: trunk/source/tests/ansi-tests/oddp.lsp @ 8991

Last change on this file since 8991 was 8991, checked in by gz, 12 years ago

Check in the gcl ansi test suite (original, in preparation for making local changes)

File size: 1.4 KB
Line 
1;-*- Mode:     Lisp -*-
2;;;; Author:   Paul Dietz
3;;;; Created:  Sun Aug 31 10:48:25 2003
4;;;; Contains: Tests of ODDP
5
6(in-package :cl-test)
7
8(compile-and-load "numbers-aux.lsp")
9
10;;; Error tests
11
12(deftest oddp.error.1
13  (signals-error (oddp) program-error)
14  t)
15
16(deftest oddp.error.2
17  (signals-error (oddp 0 nil) program-error)
18  t)
19
20(deftest oddp.error.3
21  (check-type-error #'oddp #'integerp)
22  nil)
23
24;;; Non-error tests
25
26(deftest oddp.1
27  (loop for x in *numbers*
28        when (integerp x)
29        do (oddp x))
30  nil)
31
32(deftest oddp.3
33  (loop for x = (random-fixnum)
34        repeat 10000
35        when (or
36              (oddp (+ x x))
37              (not (oddp (+ x x 1)))
38              (if (oddp x)
39                  (or (oddp (1+ x))
40                      (oddp (1- x))
41                      (/= (mod x 2) 1))
42                (or (not (oddp (1+ x)))
43                    (not (oddp (1- x)))
44                    (/= (mod x 2) 0))))
45        collect x)
46  nil)
47
48(deftest oddp.4
49  (let ((upper-bound 1000000000000000)
50        (lower-bound -1000000000000000))
51    (loop for x = (random-from-interval upper-bound lower-bound)
52          repeat 10000
53          when (or
54                (oddp (+ x x))
55                (not (oddp (+ x x 1)))
56                (if (oddp x)
57                    (or (oddp (1+ x))
58                        (oddp (1- x))
59                        (/= (mod x 2) 1))
60                  (or (not (oddp (1+ x)))
61                      (not (oddp (1- x)))
62                      (/= (mod x 2) 0))))
63          collect x))
64  nil)
65
66(deftest oddp.5
67  (notnot-mv (oddp 1))
68  t)
69
70(deftest oddp.6
71  (oddp 0)
72  nil)
73
74(deftest oddp.7
75  (notnot-mv (oddp 100000000000000000000000000000001))
76  t)
77
78(deftest oddp.8
79  (oddp 100000000000000000000000000000000)
80  nil)
81
82                       
Note: See TracBrowser for help on using the repository browser.