The tests depend on features not present in the free _eqcmini_. This stops anyone not having an eqc license of running the tests. Would you accept a pull request for either: - Only use features in _eqcmini_; or - Switch to https://github.com/krestenkrab/triq or https://github.com/triqng/triq This would make contributing much easier.