squaresLab / ManyBugs

16 stars 7 forks source link

manybugs:gmp:13420-13421 sanity tests don't pass #23

Open pdreiter opened 5 years ago

pdreiter commented 5 years ago

running: bugzoo source add manybugs https://github.com/squaresLab/ManyBugs.git bugzoo bug build manybugs:gmp:13420-13421 bugzoo container launch --with genprog manybugs:gmp:13420-13421 ..in container.. %> genprog configuration-default <...stdout...> p34: true (1) p35: false (0)

ABORT:

cachingRepresentation: sanity check failed (p35) Rep: saving test cache

Variant Test Case Queries: 0 "Test Suite Evaluations": 0

Compile Failures: 0 Wall-Clock Seconds Elapsed: 23.2172 Activity Name Count Seconds = Percent of Total Time compile 1 3.074 = 13.3167% test 38 20.006 = 86.6773% TOTAL 23.081 = 99.3797% (avg CPU usage) docker@3342f2c54005:/experiment$