[DEECo] [FAIL] JDEECo - # 1027

[Drone.io Build]

Build Failed

Build      : https://drone.io/github.com/d3scomp/JDEECo/1027
Project    : https://drone.io/github.com/d3scomp/JDEECo

Repository : git://github.com/d3scomp/JDEECo.git
Version    : 06fb148d23702178c23db48519c334aa891b8953
Author     : Zbyněk Jiráček
Branch     : IntelligentEnsembles

Message:
Z3: added support for multiple ensembles.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://d3s.mff.cuni.cz/pipermail/deeco/attachments/20160429/abf1c0a4/attachment.html>