sscheck icon indicating copy to clipboard operation
sscheck copied to clipboard

Published 20 hours ago • verified publisher icon juanrh

Formula.safeWordLength always returns None

Open juanrh opened this issue 8 years ago • 1 comments

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

juanrh avatar Oct 23 '16 18:10 juanrh

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

juanrh avatar Oct 23 '16 18:10 juanrh