Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
13 lines (10 sloc) 273 Bytes
module MapReduce.PropertyTests
open FsCheck
open FsCheck.NUnit
open BloomFilter
[<Property>]
let arraySizeCheck (xs:list<int>) =
(Seq.length xs > 0) ==>
let bf1 = BloomFilter(0.05, xs)
let bf2 = BloomFilter(0.1, xs)
bf2.BitArraySize < bf1.BitArraySize