# HG changeset patch # User bulwahn # Date 1288334686 -7200 # Node ID 2c646d3a8137679685bc4a61c8a55718643d0213 # Parent c03fc7d3fa97bd4b244e6992acfc9229e1b012bf NEWS diff -r c03fc7d3fa97 -r 2c646d3a8137 NEWS --- a/NEWS Fri Oct 29 08:44:44 2010 +0200 +++ b/NEWS Fri Oct 29 08:44:46 2010 +0200 @@ -76,6 +76,11 @@ *** HOL *** +* Quickcheck now has a configurable time limit which is set to 30 seconds +by default. This can be changed by adding [timeout = n] to the quickcheck +command. The time limit for auto quickcheck is still set independently, +by default to 5 seconds. + * New command 'partial_function' provides basic support for recursive function definitions over complete partial orders. Concrete instances are provided for i) the option type, ii) tail recursion on arbitrary