Test output for kanren
Testing time: 0.0s
CHICKEN_INSTALL_PREFIX=/root/src/salmonella/salmonella-4.5.0/repo CHICKEN_INCLUDE_PATH=/root/src/salmonella/salmonella-4.5.0/repo/share/chicken CHICKEN_REPOSITORY=/root/src/salmonella/salmonella-4.5.0/repo/lib/chicken/5 /usr/local/chicken-4.5.0/bin/csi -script run.scm Zebra Testing Zebra 0.044 seconds elapsed 0.024 seconds in (major) GC 18193 mutations 19 minor GCs 12 major GCs Testing test-nrev 0.06 seconds elapsed 0.016 seconds in (major) GC 15203 mutations 10 minor GCs 12 major GCs 0 lips for 10 Iterations taking 0 msecs ( 0 ) 0 lips for 20 Iterations taking 0 msecs ( 0 ) 0 lips for 50 Iterations taking 0 msecs ( 0 ) 0 lips for 100 Iterations taking 0 msecs ( 0 ) 0 lips for 200 Iterations taking 0 msecs ( 0 ) 0 lips for 500 Iterations taking 0 msecs ( 0 ) 0 lips for 1000 Iterations taking 0 msecs ( 0 ) 0 lips for 2000 Iterations taking 0 msecs ( 0 ) 0 lips for 5000 Iterations taking 0 msecs ( 0 ) 0 lips for 10000 Iterations taking 0 msecs ( 0 )