2 ms·Far easier to do stuff like 'assert(postcondition)'by ori_b 15y agoFar easier to do stuff like 'assert(postcondition)'