OnlyOneCannolo

Results 1 issues of OnlyOneCannolo

I made a Dockerfile to build for ubuntu:xenial and ubuntu:bionic. The xenial build works fine, but the bionic test suite fails. ``` Start 30: core-domain-numeric-apron-pkgrid_polyhedra_lin_congruences 30/61 Test #30: core-domain-numeric-apron-pkgrid_polyhedra_lin_congruences ...***Failed...

C-bug
A-apron
C-upstream
P-high