On Sun, 25 Jan 2015 22:06:26 +0000, Bayan Rafeh wrote: p.s. yet creating new `File` in invariant is wrong nevertheless, as it changes the program state. invariant checks SHOULD NEVER CHANGE THE PROGRAM STATE.
signature.asc
Description: PGP signature
