Closed D4nte closed 4 years ago
Resolves #107.
It was actually a simple functional bug.
The testing seems quite heavy and the bug seemed obvious when reasoning about it so no test added.
bors r+
Build succeeded:
Resolves #107.
It was actually a simple functional bug.
The testing seems quite heavy and the bug seemed obvious when reasoning about it so no test added.