diff --git a/lib/FsCheck_0.6.1/Contributors.txt b/lib/FsCheck_0.6.1/Contributors.txt deleted file mode 100644 index 70107632..00000000 --- a/lib/FsCheck_0.6.1/Contributors.txt +++ /dev/null @@ -1,11 +0,0 @@ -Contributors: -Neil Mitchell (the first version of reflective generators and shrinker) -Ganesh Sittampalam (various improvements and fixes in the property DSL) -toyvo (Makefile for mono users) -Steve Gilham (byte arbitrary instance) -David Crocker (first version of replay mechanism, bug fix) -(my sincerest apologies to anyone I overlooked - feel free to protest!) - -Thanks to: -Howard Mansell and team from Credit Suisse, for taking the time to clear up legal stuff and donate code, and being enthusiastic early adopters :). -Everyone that takes the time to report bugs or send feedback. \ No newline at end of file diff --git a/lib/FsCheck_0.6.1/FsCheck.XML b/lib/FsCheck_0.6.1/FsCheck.XML deleted file mode 100644 index 4ee68309..00000000 --- a/lib/FsCheck_0.6.1/FsCheck.XML +++ /dev/null @@ -1,1609 +0,0 @@ - - -FsCheck - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -Generates (), of the unit type. - - - - -Genereate a 6-tuple. - - - - -Genereate a 5-tuple. - - - - -Genereate a 4-tuple. - - - - -Genereate a 3-tuple. - - - - -Genereate a 2-tuple. - - - - -Generates arbitrary strings, which are lists of chars generated by Char. - - - - -Generate an option value that is 'None' 1/4 of the time. - - - - -Generate an object. - - - - -Generate arbitrary int that is between -size and size. - - - - - - - -Generate a list of values. The size of the list is between 0 and the test size + 1. - - - - -Generates arbitrary floats, NaN, NegativeInfinity, PositiveInfinity, Maxvalue, MinValue, Epsilon included fairly frequently. - - - - -Generates arbitrary chars, between ASCII codes Char.MinValue and 127. - - - - - - - -Generates arbitrary bytes. - - - - -Generates arbitrary bools. - - - - -Generate a function value. - - - - - - - - - - -A collection of default generators. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -Executes the command on the model of the object. - - - - -Excecutes the command on the actual object under test. - - - - -Precondition for execution of the command. - - - - - - - -Postcondition that must hold after execution of the command. - - - - - - - - - - -A single command describes pre and post conditions and the model for a single method under test. - - - - -Initial state of both object and model. - - - - -Generate a number of possible commands based on the current state of the model. The commands -are just hints to speed up execution; preconditions are still checked. - - - - -A specification for an object under test, based on an abstract model of the -object's behavior. - - - - -Turn a specification into a property. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -Returns a generator for 'a. - - - - -Returns a sequence of the immediate shrinks of the given value. The immediate shrinks should not include -doubles or the given value itself. The default implementation returns the empty sequence (i.e. no shrinking). - - - - - - - - - - - - - -Returns a generator transformer for 'a. Necessary to generate functions with 'a as domain. Fails by -default if it is not overridden. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -The workflow type for generators. - - - - -map the given function to the value in the generator, yielding a new generator of the result type. - - - - - - - -Generator of a random value, based on a size parameter and a randomly generated int. - - - - - - - - - - - - - - - - - - - -Returns a Gen<'a> - - - - -Generates an integer between l and h, inclusive. -Note to QuickCheck users: this function is more general in QuickCheck, generating a Random a. - - - - -Returns a generator transformer for the given value, aka a coarbitrary function. - - - - -Always generate v. - - - - -Build a generator that randomly generates one of the values in the given non-empty list. - - - - -Apply ('map') the function f on the value in the generator, yielding a new generator. - - - - -Build a generator that generates a 4-tuple of the values generated by the given generator. - - - - -Build a generator that generates a value from one of the generators in the given non-empty list, with -given probabilities. The sum of the probabilities must be larger than zero. - - - - -The workflow function for generators, e.g. gen { ... } - - - - -Generates a value out of the generator with maximum size n. - - - - - - - - - - - - - -Lift the given function over values to a function over generators of those values. - - - - -Lift the given function over values to a function over generators of those values. - - - - -Lift the given function over values to a function over generators of those values. - - - - -Lift the given function over values to a function over generators of those values. - - - - -Lift the given function over values to a function over generators of those values. - - - - -Lift the given function over values to a function over generators of those values. - - - - - Generates a list of random length. The maximum length depends on the - size parameter. - - - - - Generates a non-empty list of random length. The maximum length - depends on the size parameter. - - - - -Build a generator that generates a value from one of the generators in the given non-empty list, with -equal probability. - - - - -Register the generators that are static members of the type argument, overwriting any existing generators. - - - - -Register the generators that are static members of the given type, overwriting any existing generators. - - - - -Promote the given function f to a function generator. - - - - -Default generator that generates a random number generator. Useful for starting off the process -of generating a random value. - - - - -Register the generators that are static members of the type argument. - - - - -Register the generators that are static members of the given type. - - - - -Override the current size of the test. resize n g invokes generator g with size parameter n. - - - - -Sequence the given list of generators into a generator of a list. -Note to QuickCheck users: this is monadic sequence, which cannot be expressed generally in F#. - - - - -Returns the immediate shrinks for the given value. - - - - -Obtain the current size. sized g calls g, passing it the current size as a parameter. - - - - -Generates a value that satisfies a predicate. Contrary to suchThatOption, this function keeps re-trying -by increasing the size of the original generator ad infinitum. Make sure there is a high chance that -the predicate is satisfied. -Note to QuickCheck users: order of arguments wrt QuickCheck is reversed, to make piping easier. - - - - -Tries to generate a value that satisfies a predicate. This function 'gives up' by generating None -if the given original generator did not generate any values that satisfied the predicate, after trying to -get values from by increasing its size. -Note to QuickCheck users: order of arguments wrt QuickCheck is reversed, to make piping easier. - - - - -Build a generator that generates a 3-tuple of the values generated by the given generator. - - - - -Build a generator that generates a 2-tuple of the values generated by the given generator. - - - - -Basic co-arbitrary generator transformer, which is dependent on an int. - - - - -Generates a list of given length, containing values generated by the given generator. -vector g n generates a list of n t's, if t is the type that g generates. - - - - -Generates a list of given length, containing values generated by the given generator. -Identical to vector, but with arguments reversed so it is consistent with listOf and nonEmptyListOf. - - - - - - - - determines for which OUtcome the result should be shrunk, or shrinking should continue. - - - - - - - -Type synonym for a test result generator. - - - - - - - -Returns a new result that is Succeeded if and only if both this -and the given Result are Succeeded. - - - - -The result of one execution of a property. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -Classify test cases combinator. Test cases satisfying the condition are assigned the classification given. - - - - -Collect data values property combinator. The argument of collect is evaluated in each test case, -and the distribution of values is reported, using any_to_string. - - - - - - - - - - - - - - - - - - - -Quantified property combinator. Provide a custom test data generator to a property. - - - - -Quantified property combinator. Provide a custom test data generator to a property. -Shrink failing test cases using the given shrink function. - - - - - - - - - - -Add the given label to the property. The labels of a failing sub-property are displayed when it fails. - - - - - - - - - - - - - - - - - - - - - - - - - - - - -Add the given label to the property. label on the left hand side, property on the right. - - - - -Add the given label to the property. Property on the left hand side, label on the right. - - - - -Construct a property that succeeds if both succeed. (cfr 'and') - - - - -Construct a property that fails if both fail. (cfr 'or') - - - - -Conditional property combinator. Resulting property holds if the property after ==> holds whenever the condition does. - - - - - - - -Property constructor. Constructs a property from a bool. - - - - - - - -Lazy property constructor. Constructs a property from a Lazy. - - - - - - - - - - - - - - - - -Property combinator to shrink an original value x using the shrinking function shrink:'a -> #seq<'a>, and the testable -function pf. - - - - - - - - - - -Expect exception 't when executing p. So, results in success if an exception of the given type is thrown, -and a failure otherwise. - - - - - - - -Count trivial cases property combinator. Test cases for which the condition is True are classified as trivial. - - - - -Fails the property if it does not complete within t milliseconds. Note that the called property gets a -cancel signal, but whether it responds to that is up to the property; the execution may not actually stop. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -Equality for generic types - - - - - Get constructor for record type - - - - - Get information on the fields of a record type - - - - - Get reader for record type - - - - - Returns the case name, type, and functions that will construct a constructor and a reader of a union type respectively - - - - - Get reader for union case name (aka tag) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -Builds a generator for the given type based on reflection. Currently works for record and union types. - - - - - - - - - - - - - - - - - - - -For configuring a run. - - - - -Called on a succesful shrink. - - - - -Called whenever all tests are done, either True, False or Exhausted. - - - - -Called whenever arguments are generated and after the test is run. - - - - -For implementing your own test runner. - - - - - - - - - - - - - - - - -Check the given property p using the given Config. - - - - -Check all public static methods on the given type that have a Testable return type(this includes let-bound functions in a module) - - - - - - - - - - -A runner that simply prints results to the console. - - - - - - - -Force this value to do the necessary initializations of typeclasses. Normally this initialization happens automatically. -In any case, it can be forced any number of times without problem. - - - - - - - -The quick configuration only prints a summary result at the end of the test. - - - - -Check with the configuration 'quick'. - - - - -Check all public static methods on the given type that have a Testable return type with configuration 'quick' - - - - -Check with the configuration 'quick', and using the given name. - - - - - - - - - - - - - -A function that returns the default string that is printed as a result of the test. - - - - - - - - - - -The verbose configuration prints each generated argument. - - - - -Check with the configuration 'verbose'. - - - - - Check all public static methods on the given type that have a Testable return type with configuration 'verbose' - - - - -Check with the configuration 'verbose', and using the given name. - - - - - - - - - - - - - - - - -Get the typeclass instance from the given typeclass and instance type. - - - - -Define a new typeclass of the given (generic) type. The methods on this class are the ones that will be associated with -its generic type. - - - - -Register instances in a given class as instances of the given type class, overwriting any existing instances. - - - - -Register instances in a given class as instances of the given type class, overwriting any existing instances. - - - - -Register instances in a given class as instances of the given type class. - - - - -Register instances in a given class as instances of the given type class. - - - - - - - - - - - - - diff --git a/lib/FsCheck_0.6.1/FsCheck.dll b/lib/FsCheck_0.6.1/FsCheck.dll deleted file mode 100644 index 8d407103..00000000 Binary files a/lib/FsCheck_0.6.1/FsCheck.dll and /dev/null differ diff --git a/lib/FsCheck_0.6.1/FsCheck.pdb b/lib/FsCheck_0.6.1/FsCheck.pdb deleted file mode 100644 index 8ddc3615..00000000 Binary files a/lib/FsCheck_0.6.1/FsCheck.pdb and /dev/null differ diff --git a/lib/FsCheck_0.6.1/License.txt b/lib/FsCheck_0.6.1/License.txt deleted file mode 100644 index c0cea5c2..00000000 --- a/lib/FsCheck_0.6.1/License.txt +++ /dev/null @@ -1,12 +0,0 @@ -Copyright (c) 2008-2009, Kurt Schelfthout -All rights reserved. - -Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: - -* Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. - -* Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. - -* Neither the name of Kurt Schelfthout nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. - -THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. \ No newline at end of file