I have bought a condo that had a repaired basement crack...DD confirmed that the Condo Management Company had taken care of all the repairs as a matter of course...and insisted that it was repaired properly (and that meant a little more costly) It was never a problem.
Just call the management company and ask the question...you might also ask if they done this kind of repair before. If there is a lot of mature trees around the developments, keep in mind that roots will eventually be a problem.