joshua/phd-thesis
Archived
1
Fork 0
Code Activity

split=yes blijkt niet goed te werken

Browse source
This commit is contained in:
Joshua Moerman 2018-11-03 15:00:29 +01:00
parent cdeaf3321a
commit c5c55d712f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
content/test-methods.tex
View file

@ -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