Add tests for TxtManager