Coverage remained the same at 100.0% when pulling 417ff4ac2cc7692fc9e8307bab66799f124e0316 on Hywan:pr-6 into d82aec3c90c020d69c99d13c8dacddb4585a18f7 on hoaproject:master.
Coverage remained the same at 100.0% when pulling 417ff4ac2cc7692fc9e8307bab66799f124e0316 on Hywan:pr-6 into d82aec3c90c020d69c99d13c8dacddb4585a18f7 on hoaproject:master.
So update the test suite accordingly.
See https://github.com/hoaproject/Option/pull/6.