Test output for z3 [ok]

Testing time: 1s

'/usr/home/chicken/salmonella/build/salmonella-run-publish/chicken/bin/csi' -script run.scm < /dev/null 2>&1
compressing empty buffer ............................................. [ PASS]
compressing single char buffer ....................................... [ PASS]
opening file ......................................................... [ PASS]
init ................................................................. [ PASS]
writing .............................................................. [ PASS]
writing (2) .......................................................... [ PASS]
writing (3) .......................................................... [ PASS]
closing .............................................................. [ PASS]
testing result ....................................................... [ PASS]
opening file ......................................................... [ PASS]
init ................................................................. [ PASS]
reading .............................................................. [ PASS]
closing file ......................................................... [ PASS]
compression destination .............................................. [ PASS]
definining compression receiver ...................................... [ PASS]
prepare compression .................................................. [ PASS]
compressing .......................................................... ........................[ PASS]
compressed ........................................................... [ PASS]
compressed size ...................................................... [ PASS]
prepare decompression ................................................ [ PASS]
decomp. destination .................................................. [ PASS]
decompressing ........................................................ (800)[ PASS]
comparing results .................................................... [ PASS]
load jpeg ............................................................ [ PASS]
compressed jpeg ...................................................... [ PASS]
uncompressed jpeg .................................................... [ PASS]
compare uncompressed jpeg to original ................................ [ PASS]