Add tests on manager.fs