Verifying that the generate and push works