Function runUntilSnapshot