Testing some of the properties of Git