Buildbot op TheorySimplifier

[Willem Van Onsem]

The Buildbot has detected a new failure on builder runtests while building IDP. Full details are available at: http://localhost:8010/builders/runtests/builds/214

Buildbot URL: http://localhost:8010/

Buildslave for this Build: linux

Build Reason: scheduler Build Source Stamp: [branch master] 7ad78ecfdea1f6c8bd1eb1a1d016e2383a8d1d30 Blamelist: [e-mail],[e-mail],[e-mail]

BUILD FAILED: failed compile

sincerely, -The Buildbot

De blamelist is waarschijnlijk fout. De pull request had enkel betrekking op de parser. Op de waterfall hebben we allebei commits gedaan voor dat er een nieuwe test draaide: http://barrel.cs.kuleuven.be:8010/waterfall

[Pieter Van Hertum]

fixes #570

→ <<cset b0fe5ce6cf6e>>