bulwahn [Fri, 18 Mar 2011 18:19:42 +0100] rev 42025
adding eval option to quickcheck
bulwahn [Fri, 18 Mar 2011 18:19:42 +0100] rev 42024
handling a quite restricted set of functions in Quickcheck_Narrowing by an easy transformation
bulwahn [Fri, 18 Mar 2011 18:19:42 +0100] rev 42023
adding minimalistic setup and transformation to handle functions as data to enable naive function generation for Quickcheck_Narrowing
bulwahn [Fri, 18 Mar 2011 18:19:42 +0100] rev 42022
adding a simple datatype for representing functions in Quickcheck_Narrowing
bulwahn [Fri, 18 Mar 2011 18:19:42 +0100] rev 42021
extending code_int type more; adding narrowing instance for type int; added test case for int instance
bulwahn [Fri, 18 Mar 2011 18:19:42 +0100] rev 42020
translating bash output in quickcheck_narrowing to handle special characters; adding simple test cases
bulwahn [Fri, 18 Mar 2011 18:19:42 +0100] rev 42019
adding size as static argument in quickcheck_narrowing compilation