giorgiosironi/eris — pull request #5 by giorgiosironi (2014-12-06 10:34:53+00:00)
Title: String generator

Shrinking needs work but the bug is correctly found:
```
[11:33:25][giorgio@Bipbip:~/code/eris]$ vendor/bin/phpunit examples/StringTest.php
PHPUnit 4.3.5 by Sebastian Bergmann.

Configuration read from /home/giorgio/code/eris/phpunit.xml

.F

Time: 369 ms, Memory: 6.75Mb

There was 1 failure:

1) StringTest::testLengthPreservation
Concatenating to ";twM9K%f9pI%&84wk\Q9NCv`.1JJ)Ld}D26n7{'(E+.]?%\*`-B/P9o^I:)RemO)~dw6`}=&)JbGN>Q/Ks=z,,YTFa'+NU3M:+bz(1IaXw)&K{BF(N~[s_b~.72ZQ<=KDq^h5z3i_?vIKr{xO\e}j.+'[k1@x9I=ot.=4hx+'BUy=NHy3Gw}U"$0m4PfMx$>#BMoU}V#vZ?ckwceIne3\;opg:\*>'6W~;0oqk$*-of0L#Le_ix<%h,k"gt?n+um gives ";twM9K%f9pI%&84wk\Q9NCv`.1JJ)Ld}D26n7{'(E+.]?%\*`-B/P9o^I:)RemO)~dw6`}=&)JbGN>Q/Ks=z,,YTFa'+NU3M:+bz(1IaXw)&K{BF(N~[s_b~.72ZQ<=KDq^h5z3i_?vIKr{xO\e}j.+'[k1@x9I=ot.=4hx+'BUy=NHy3Gw}U"$0m4PfMx$>#BMoU}V#vZ?ckwceIne3\;opg:\*>'6W~;0oqk$*-of0L#Le_ix<%h,k"gt?n+umERROR
Failed asserting that 674 matches expected 669.

/home/giorgio/code/eris/examples/StringTest.php:40
/home/giorgio/code/eris/src/Eris/Quantifier/Evaluation.php:48
/home/giorgio/code/eris/src/Eris/Quantifier/RoundRobinShrinking.php:45
/home/giorgio/code/eris/src/Eris/Quantifier/ForAll.php:69
/home/giorgio/code/eris/src/Eris/Quantifier/Evaluation.php:50
/home/giorgio/code/eris/src/Eris/Quantifier/ForAll.php:71
/home/giorgio/code/eris/examples/StringTest.php:41

FAILURES!
Tests: 2, Assertions: 609, Failures: 1.

```