New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Formula.safeWordLength always returns None #51

Open

juanrh opened this issue Oct 23, 2016 · 1 comment

Labels

Owner

juanrh commented Oct 23, 2016

Because the base case is Now that potentially returns a new formula that is generated test time.

juanrh added the bug label

juanrh added a commit that referenced this issue


fix base case of safeWordLength: #51

ad91c1e

Owner Author

juanrh commented Oct 23, 2016

a test case for safeWordLenght in src/test/scala/es/ucm/fdi/sscheck/prop/tl/FormulaTest.scala is pending before closing this issue

juanrh added enhancement and removed bug labels

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