Fatti
I ricorrenti A.C. e B.C. sono proprietari di un immobile ad uso abitativo e commerciale a F. Erano inoltre titolari di un diritto di costruzione autonomo e permanente per la realizzazione di un parcheggio su un terreno adiacente di proprietà della società resistente X. AG. Nel 2003 le parti hanno concluso un contratto preliminare per l'estinzione di questo diritto di costruzione in cambio della concessione di 20 posti auto da parte della X. AG. Nel 2004 il diritto di costruzione è stato estinto, ma la X. AG non ha ancora potuto adempiere la concessione dei posti auto poiché il terreno non era ancora stato suddiviso in proprietà per piani.
Dopo la costruzione dell'edificio residenziale e commerciale sul terreno della X. AG, i ricorrenti hanno constatato che le sovrastrutture del tetto superavano il limite di altezza concordato nel contratto preliminare. Hanno quindi proposto un'azione principale per obbligare la X. AG a rimuovere le sovrastrutture del tetto.
Il Tribunale cantonale ha respinto la domanda principale, in quanto le sovrastrutture del tetto sono parti comuni dell'immobile in proprietà per piani e la X. AG non può ottenere il consenso necessario degli altri proprietari per piani. Il Tribunale federale ha confermato questa valutazione.
Legge
Secondo la giurisprudenza del Tribunale federale, l'impossibilità soggettiva di adempiere ai sensi dell'art. 97 cpv. 1 CO sussiste solo quando l'ostacolo all'adempimento è assolutamente insormontabile per il debitore. Ciò si verifica quando il debitore non ha più alcuna possibilità di ottenere i consensi necessari dei titolari del diritto di disposizione per l'adempimento della prestazione.
Nel caso di specie, è indiscusso che le sovrastrutture del tetto siano parti comuni dell'immobile in proprietà per piani. Un…