Changeset 38297 in project


Ignore:
Timestamp:
03/17/20 13:11:57 (2 weeks ago)
Author:
juergen
Message:

simple-tests 2.0.1 with simplyfied test-predicates

File:
1 edited

Legend:

Unmodified
Added
Removed
  • wiki/eggref/5/simple-tests

    r38278 r38297  
    109109defines a unary predicate, name?, with argument verbose?, which compares
    110110all pairs {xpr expected} and prints a list of failures, if verbose? is
    111 #t.  Otherwise simply returns #t of #f, depending on the comparison of
    112 the pairs' items.
     111#t or not given.  Otherwise simply returns #t or #f, depending on the
     112comparison of the pairs' items.
     113If the verbose? argument in the generated predicate is missing, it's #t,
     114so the output is verbose.  Inside another check-predicate, it's usually
     115#f, cf. arithmetic? below.
     116
    113117Comparison is done by the generic procedure ==.
    114118{arg val} ... is translated into a let,  supplying values to be used in test pairs.
    115 The verbose? argument is usually #t, but #f for check-procedures within
    116 check-procedures, cf. arithmetic? below.
     119
    117120
    118121==== check-all
     
    157160  (*? #f) #t)
    158161
    159 (check-all SIMPLE (+? #t) (*? #t) (arithmetic? #t))
     162(check-all SIMPLE (+?) (*?) (arithmetic?))
    160163
    161164</enscript>
     
    163166== Last update
    164167
    165 Mar 15, 2020
     168Mar 17, 2020
    166169
    167170== Author
     
    202205== Version History
    203206
     207; 2.0.1 : test-predicates without verbose? argument are verbose by default
    204208; 2.0 : added a second testing interface
    205209; 1.1 : ppp* added
Note: See TracChangeset for help on using the changeset viewer.