Completed tests for k-resolution operations.