[DEECo] [FAIL] JDEECo - # 1020

[Drone.io Build]

Build Failed

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

Repository : git://github.com/d3scomp/JDEECo.git
Version    : da98d6309d5ee0d444faac18951845da83b258cb
Author     : Zbyněk Jiráček
Branch     : KnowledgeContainers

Message:
Z3 multiple data contract support WIP

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