why proper not returning error when can't produce enough satisfies instances? #53

Open
andrzejsliwa opened this Issue Nov 6, 2012 · 0 comments

Comments

Projects
None yet
1 participant
@andrzejsliwa

why proper not returning error when can't produce enough satisfies instances?

I mean in proper:module, proper:check_spec, proper:check_specs...

I have just [] ... as result of (proper:check_specs(example):

Testing example:size/1
.........................................................................................................................................................................................
Error: Couldn't produce an instance that satisfies all strict constraints after 50 tries.

Testing example:is_empty/1
..............................................................................................................................................................
Error: Couldn't produce an instance that satisfies all strict constraints after 50 tries.

Testing example:new/0
........................................................................................................................................................................................................
OK: Passed 200 test(s).

Testing example:safe_pop/1
................................................................................................................................................
Error: Couldn't produce an instance that satisfies all strict constraints after 50 tries.

Testing example:pop/1
........................................................................................................................................................................................................
OK: Passed 200 test(s).

Testing example:push/2
...............................................................................................................................................................................
Error: Couldn't produce an instance that satisfies all strict constraints after 50 tries.

[]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment