manybugs:php:2012-03-22-3efc9f2f78-2e19cccad7 sanity tests don't pass

[pdreiter]

1. bugzoo source add manybugs https://github.com/squaresLab/ManyBugs.git
2. bugzoo bug build manybugs:php:2012-03-22-3efc9f2f78-2e19cccad7
3. bugzoo container launch --with genprog manybugs:php:2012-03-22-3efc9f2f78-2e19cccad7
   ...in container...
   genprog configuration-default
   <...stdout...>
   p1519: false (0)

ABORT:

cachingRepresentation: sanity check failed (p1519)
...