Just a quick question... what should cause me to use Postcondition instead of Assert, and vice-versa?
I understand that both can be used to enforce Design-by-Contract, but are there any particular aspects of psake that make one preferable to the other in various situations?
Thanks,
James