diff --git a/content/test-methods.tex b/content/test-methods.tex index 7db6c00..9f80436 100644 --- a/content/test-methods.tex +++ b/content/test-methods.tex @@ -474,7 +474,7 @@ For this, we simply take all shortest sequences from the initial state to the ot As shown earlier, the set $W = \{ aa, ac, c \}$ is a characterisation set. The the W-method gives the following test suite of size 169: -\setupformulas[split=yes,hang=auto] +%\setupformulas[split=yes,hang=auto] \startformula T_{\text{W}} = \{ \alignhere aaaaa, aaaac, aaac, aabaa, aabac, aabc, aacaa, \breakhere aacac, aacc, abaa, abac, abc, acaa, acac, acc, baaaa, \breakhere