Closed pulquero closed 3 years ago
Fixes #94 .
Rebased to fix CI.
Coverage remained the same at 88.557% when pulling e4eabbe768b225f1b17a97f4f7e95864f71d6724 on pulquero:mem-reduction into a00e8a2af4174c0282ebbb940b50df1c46d4c2a5 on epfl-lts2:master.
Thanks for the improvement!
Fixes #94 .