最近在看EntityframeWork早期的源码,源码中多处用了 Code Contracts 约定的代码 ,但是调试的时候,发现无论条件对或者错,都会调出 Precondition Faild,我索性把检查给关了,还是一样,看问题是重复定义了某个字符常量,但我搜索了源码,并没有找到,所以上来请教一下大大们。
http://stackoverflow.com/questions/27635152/code-contracts-error-on-build-agent