fscheck Issue Tracker Rss Feed

Created Issue: PropertyAttribute: Search for Arb override on the module level too [16799]

kurt2001 — Thu, 21 Mar 2013 13:23:05 GMT

Avoids having to set Arbitrary on each PropertyAttribute

Created Issue: Add possibility to run with seed to PropertyAttribute [16798]

kurt2001 — Thu, 21 Mar 2013 13:22:07 GMT

So users can just copy-paste the printed seed into the attribute and run with that

Created Issue: Support generation of arbitrary Decimal values [16797]

empeak — Wed, 02 Jan 2013 07:15:34 GMT

FSCheck.Arb.Default is missing the Arbitrary<Decimal> member.

Closed Issue: arbitrary infinite loop [16796]

kurt2001 — Mon, 17 Dec 2012 18:19:07 GMT

Commented Issue: arbitrary infinite loop [16796]

jackfoxy — Mon, 17 Dec 2012 17:42:39 GMT

I have a custom generator which appears to go into an infinite loop between the suchThatOption let binding in Gen.fs and stdRange / stdNext in Random.fs about half the time, and works successfully about half the time. Does this sound like a known issue?
Comments: I solved the situation. after posting this. I was generating one of the parameters in my custom generator without constraints, and it was possible to generate this parameter so that a subsequent suchThat constraint would be impossible to solve. My back of the envelope calculation predicts this situation should occur in nearly half the runs, which was consistent with my experience. I think somewhere in the documentation it may mention this situation, but now I have proven for sure if a custom generator can generate unsovleable combinations it will loop.

Created Issue: arbitrary infinite loop [16796]

jackfoxy — Mon, 17 Dec 2012 03:21:48 GMT

Commented Feature: Port and integrate smallcheck [11859]

kurt2001 — Fri, 09 Nov 2012 01:31:48 GMT

Smallcheck [1] is another testing framework for Haskell, that generates an exhaustive combination of values for properties. It may be possible to integrate this exhaustive generation with FsCheck. For example, it could be used to generate the "smallest" value for which a property fails, by first testing randomly and moving to exhaustive testing if a test fails. And it may be useful for some niche scenarios where the number of combinations is very small anyway.

[1]http://hackage.haskell.org/cgi-bin/hackage-scripts/package/smallcheck
Comments: Looks good. Have fun!

Commented Feature: Port and integrate smallcheck [11859]

alex_bogomaz — Thu, 08 Nov 2012 12:53:58 GMT

Closed Issue: Add Check.Method overload for checking instance methods [16789]

kurt2001 — Sun, 12 Aug 2012 20:24:17 GMT

The target of the reflective invoke is always null atm. There is no way to pass in the instance, which would be useful for calls from test runners and unit testing frameworks.
Comments: Done.

Edited Issue: FsCheck crashes with VS2012 [16795]

kurt2001 — Sun, 12 Aug 2012 20:23:49 GMT

Commented Issue: FsCheck crashes with VS2012 [16795]

kurt2001 — Sun, 12 Aug 2012 20:23:05 GMT

because you use the FSharp 2.0 Runtime version of the FSharp.Core.dll the lib will not work in a project compiled with VS2012 (projects created in VS2012 will use the 3.0 Runtime version)

You should consider greating different nuget packages or even better make the FSharp.Core a dependency for the nuget-package

Comments: As highlighthed on the forum - NuGet users can run Add-BindingRedirect to fix this. FsCheck latest source has been updated to work with VS2012.

Closed Issue: Add more generators [16794]

kurt2001 — Wed, 18 Jul 2012 15:17:42 GMT

int64, sbyte, int16, TimeSpan, etc
Comments: A bunch of generators have been added in 0.8.1

Created Issue: FsCheck crashes with VS2012 [16795]

CKoenig — Wed, 18 Jul 2012 07:32:21 GMT

Commented Feature: Parallel execution of tests [11862]

kurt2001 — Thu, 21 Jun 2012 01:22:26 GMT

Commented Feature: Parallel execution of tests [11862]

mausch — Wed, 20 Jun 2012 21:47:53 GMT

FsCheck test runs should be fairly easily parallelizable. Add a configuration parameter that indicates the desired number of tasks t to split in, and then just split the required number of test cases in t, running each in a separate thread. FsCheck uses at this point no mutable values except in the generator registration (afaik), and some basic groundwork has been done by refactoring the test runner into a function 'tests' which generates an infinite sequence of test runs lazily. Use of the async computation expression would be nice to try here.
Comments: A more detailed stack trace: Exception: System.ArgumentException: An item with the same key has already been added. at System.ThrowHelper.ThrowArgumentException(ExceptionResource resource) at System.Collections.Generic.Dictionary`2.Insert(TKey key, TValue value, Boolean add) at System.Collections.Generic.Dictionary`2.Add(TKey key, TValue value) G:\prg\fscheck\FsCheck\Common.fs(21,1): FsCheck.Common.memoizeWith[a,b](IDictionary`2 memo, FSharpFunc`2 f, a n) G:\prg\fscheck\FsCheck\TypeClass.fs(154,1): FsCheck.TypeClass.TypeClass`1.GetInstance(Type instance, FSharpOption`1 arguments) G:\prg\fscheck\FsCheck\TypeClass.fs(182,1): FsCheck.TypeClass.TypeClass`1.InstanceFor[T,TypeClassT](FSharpOption`1 arguments) G:\prg\fscheck\FsCheck\Property.fs(135,1): FsCheck.Testable.property[a](a p) G:\prg\fscheck\FsCheck\Runner.fs(256,1): FsCheck.Runner.check[a](Config config, a p) G:\prg\Fuchu\Fuchu.FsCheck\FsCheck.fs(33,1): Fuchu.FuchuFsCheckModule.testProperty@31.Invoke(Unit _arg1) G:\prg\Fuchu\Fuchu\Fuchu.fs(228,1): Fuchu.Impl.execOne@225.Invoke(Tuple`2 tupledArg)

Commented Feature: Parallel execution of tests [11862]

mausch — Wed, 20 Jun 2012 20:30:10 GMT

Commented Feature: Parallel execution of tests [11862]

mausch — Wed, 20 Jun 2012 05:00:16 GMT

FsCheck test runs should be fairly easily parallelizable. Add a configuration parameter that indicates the desired number of tasks t to split in, and then just split the required number of test cases in t, running each in a separate thread. FsCheck uses at this point no mutable values except in the generator registration (afaik), and some basic groundwork has been done by refactoring the test runner into a function 'tests' which generates an infinite sequence of test runs lazily. Use of the async computation expression would be nice to try here.
Comments: I attempted to run FsCheck tests in parallel through Fuchu ( https://github.com/mausch/Fuchu ) and got a race condition in the memoization function: {{ Exception: System.ArgumentException: An item with the same key has already been added. at System.ThrowHelper.ThrowArgumentException(ExceptionResource resource) at System.Collections.Generic.Dictionary`2.Insert(TKey key, TValue value, Boolean add) at System.Collections.Generic.Dictionary`2.Add(TKey key, TValue value) at FsCheck.Common.memoizeWith[a,b](IDictionary`2 memo, FSharpFunc`2 f, a n) at FsCheck.Runner.check[a](Config config, a p) }} I'll try to fix it when I get some time.

Created Issue: Add more generators [16794]

kurt2001 — Tue, 02 Aug 2011 15:08:46 GMT

int64, sbyte, int16, TimeSpan, etc

Closed Issue: Add Applicative operators for Gen [16793]

kurt2001 — Thu, 28 Jul 2011 16:50:33 GMT

Gen.map6? Seriously?
Comments: Done.

Created Issue: Add Applicative operators for Gen [16793]

kurt2001 — Thu, 21 Jul 2011 09:46:02 GMT

Gen.map6? Seriously?