While there are some engines that are designed to live through a broken timing belt, I do not think any of them come from the government car companies. I suspect your daughters Aveo will end up with either a rebuilt engine or in the scrap yard.
Typically a broken timing belt results in bent valves and in some cases damaged heads and pistons.
Your mechanic should be able to turn the engine through and check each cylinder. That should tell the tale.
I suspect your daughter is going to be in the market for another car.
I would humbly suggest a Japanese product. And change that timing belt every 100K miles.
Most if not all of the earlier Aveo's motors came from Daewoo.