calvis / cKanren

Constraint programming language embedded in Racket
152 stars 33 forks source link

Adjusting the output in test-divergence. #2

Closed eholk closed 12 years ago

eholk commented 12 years ago

test-divergence was print this:

Testing ~s (engine with ~s ticks fuel)
omega10000000

This change makes it print this instead, which I think is what was intended.

Testing "omega" (engine with 10000000 ticks fuel)