Visual studio 2013: Contract.Assume not generating exception at runtime?

Question

Hello guys.
I must be missing something, but just can't see what. I'm creating a new assembly with .net 4.5.2 and I've enabled code contracts by going to the project properties and by doing the following:
* set assembly mode to standard contract requires
* enabled perform runtime contract checking
* chose option full on the combo
* and chose the build option from the contract reference assembly at the end of the page
Then, I've added the folloowing to an existing class:
namespace Domain.Persistence {
    public abstract class ValueObject : Base {
        protected ValueObject() {
            var anyInvalidProps = GetType().GetProperties()
                .Where(p => Attribute.IsDefined(p, typeof (DomainSignatureAttribute), true))
                .Any();
            Contract.Assume(!anyInvalidProps);
While running my unit tests, I don't end up getting an exception (even when the condition is false!). Any clues on what I'm missing?
Luis Abreu

Answer 1

Solved it: had set the only public surface contracts checkbox by mistake and the cosntructor was protected...
Luis Abreu