Coverage increased (+0.1%) to 73.753% when pulling e3515b6b66dd53b12c19f7b132932eb591ff326e on oyamad:parameterize into fc5a01b1df9136457342c269ae1aea50d1a6a14d on JuliaPolyhedra:master.
Coverage increased (+0.1%) to 73.753% when pulling e3515b6b66dd53b12c19f7b132932eb591ff326e on oyamad:parameterize into fc5a01b1df9136457342c269ae1aea50d1a6a14d on JuliaPolyhedra:master.
Coverage increased (+0.1%) to 73.753% when pulling e3515b6b66dd53b12c19f7b132932eb591ff326e on oyamad:parameterize into fc5a01b1df9136457342c269ae1aea50d1a6a14d on JuliaPolyhedra:master.
Coverage increased (+0.1%) to 73.753% when pulling e3515b6b66dd53b12c19f7b132932eb591ff326e on oyamad:parameterize into fc5a01b1df9136457342c269ae1aea50d1a6a14d on JuliaPolyhedra:master.
See https://github.com/JuliaPolyhedra/CDDLib.jl/issues/31#issuecomment-441258293.
Not sure if this is the right approach, but let me open a PR anyway for discussion.