nemo
nemo copied to clipboard
Insufficient unit test coverage of logical layer
After the refactoring, no unit tests are left on the logical layer. Although the reasoner seems to work in out benchmarks, testing all of the individual functions as well as a few integration tests would be nice.