Firstly, in the line 1, you are working at deploy time, and it�s correct, if you work with the idea of postcondition, we are saying that assert could modify something during runtime, and it�s wrong !
I would like to practise a little bit more, I made de exercises from K&B book, MasterExam, WhizLabs and my question is : Is there any other program simulator to download ?
I made some mocks like Katy�s book exercises, the Book cd and I really want to know the degree of dificulty of this exercises. They are like the real exam ?