Use WITH-TEST throughout tests/walk.impure.lisp
commitbaa604e8982f1762fc20e8e875d00348e0663313
authorJan Moringen <jmoringe@techfak.uni-bielefeld.de>
Wed, 6 Aug 2014 11:38:07 +0000 (6 13:38 +0200)
committerJan Moringen <jmoringe@techfak.uni-bielefeld.de>
Wed, 6 Aug 2014 15:58:54 +0000 (6 17:58 +0200)
tree03fcef3e4f51c932a488945d640c9a8d078e5c7e
parentbed360e6ab5427e308379c11fbfb62da86e52bae
Use WITH-TEST throughout tests/walk.impure.lisp

Also, don't manually print offending values in STRING=-MODULO-TABSPACE
since ASSERT does that automatically nowadays.
tests/walk.impure.lisp