Changeset 15336


Ignore:
Timestamp:
07/13/20 05:38:55 (13 months ago)
Author:
Mark Evenson
Message:

t/byte-vectors: test for failures found with NIBBLES

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/abcl/t/byte-vectors.lisp

    r15323 r15336  
    11(in-package :cl-user)
    2 
    32
    43(let ((element-bits '(8 16 32))
     
    3837 "Able to STABLE-SORT an empty vector.")
    3938
     39;; nibbles failures
     40
     41
     42(let* ((unspecialized
     43         #(2025373960 3099658457 3238582529 148439321
     44           3099658456 3238582528 3000000000 1000000000
     45           2000000000 2900000000 2400000000 2800000000
     46           0 1))
     47       (array
     48         (make-array (length unspecialized)
     49                     :element-type '(unsigned-byte 32)
     50                     :initial-contents unspecialized)))
     51  (prove:plan (length array))
     52  (loop :for i :below (length array)
     53        :doing
     54           (let ((x0
     55                   (elt unspecialized i))
     56                 (x1
     57                   (elt array i)))
     58           (prove:ok
     59            (equal x0 x1)
     60            (format nil "~a: ~a equals ~a" i x0 x1)))))
     61
    4062(prove:finalize)
    4163
Note: See TracChangeset for help on using the changeset viewer.