I'm playing around with Microsoft's CodeContracts and encountered a problem I was unable to solve. I've got a class with two constructors:I'm playing around with Microsoft's CodeContrac
I'm playing around with Microsoft's CodeContracts and encountered a problem I was unable to solve. I've got a class with two constructors:I'm playing around with Microsoft's CodeContrac