[DEECo] [FAIL] JDEECo - # 1010

[Drone.io Build]

Build Failed

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

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

Message:
Z3 finished constraints (projection not working)

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