Fail early if `forall` is given zero arbitraries. #128

phadej opened this Issue Aug 17, 2015 · 0 comments


None yet
1 participant

phadej commented Aug 17, 2015

e.g. something you think is arbitrary is interpreted as user environment

@phadej phadej added the bug label Aug 17, 2015

@phadej phadej closed this in 6de8a9b Aug 22, 2015

phadej added a commit that referenced this issue Aug 22, 2015

Merge pull request #130 from jsverify/128-forall-assert
Resolve #128: forall requires at least single generator
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment