Add a top-level integration spec