Permalink
Browse files

Adds a comment on running time

  • Loading branch information...
1 parent eb34b2d commit 75131ae88bda73c9f08e4a442a64dbccc4968f7d @clklein committed Aug 25, 2011
Showing with 2 additions and 0 deletions.
  1. +2 −0 README
View
2 README
@@ -50,5 +50,7 @@ Running with the sample arguments above finds this bug-revealing expression:
x0)))
true)
+It takes just under two hours on my machine.
+
[1] http://www.ccs.neu.edu/scheme/pubs/lasc95-w.ps.gz
[2] http://korat.sourceforge.net/

0 comments on commit 75131ae

Please sign in to comment.