Open pdreiter opened 4 years ago
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) ...
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) ...