Program gpdb_verify is ok and checked by valgrind. Tests and documentation is missing.