c# - CodeContracts fails the build for seemingly no reason -


i have c# pcl project uses code contracts. on teamcity project fails build, looked build successful locally. build log claim build did fail, gives no reason @ all.

'fail build on warnings' disabled.

i single strange warning:

codecontracts: not find method/type 'system.diagnostics.contracts.pureattribute' in assembly '[project path]\packages\microsoft.net.http.2.2.29\lib\portable-net40+sl4+win8+wp71+wpa81\system.net.http.dll'

searching google gave me one relevant result has same problem. has no responses besides bumping.

build log

i find line peculiar:

c:\windows\system32******.dll (1,1): message : codecontracts: checked 3154 assertions: 2821 correct (333 masked)

why binary located in system32? didn't think msbuild had write access folder...

the issue seems default looks contract types in microsoft.contracts (per spec) doesn't work because microsoft.contracts not using. i'm using system.diagnostics.contracts, located in mscorlib. doesn't tell me this, rather non-sensical. started looking through source code , found offending code in opinion code of poor quality, gave on finding issue , creating pull request.

however solution simple when know: need override default contract library microsoft.contracts mscorlib, add following command line of static analyzer:

-cclib mscorlib

this worked me @ least. still think caused 2 bugs in code contracts:

  1. it fails build because of warning.
  2. it tries locate pureattribute in wrong assembly.

Comments

Post a Comment

Popular posts from this blog

Magento/PHP - Get phones on all members in a customer group -

i working on custom magento extension. working around adminhtml part , i've created custom form there. here form code: <?php class vivasindustries_smsnotification_block_adminhtml_sms_sendmass_edit_form extends mage_adminhtml_block_widget_form { public function _preparelayout() { $extensionpath = mage::getmoduledir('js', 'vivasindustries_smsnotification'); $head = $this->getlayout()->getblock('head'); $head->addjs('jquery.js'); $head->addjs('vivas.js'); return parent::_preparelayout(); } protected function _prepareform() { $form = new varien_data_form(array( 'id' => 'edit_form', 'action' => $this->geturl('*/*/save', array('id' => $this->getrequest()->get...
Read more

php - Bypass Geo Redirect for specific directories -

i'm trying bypass redirect specific url within site. wondering if might able help. the code below code use, original urls replaces example.com i'd able access http://example.com/admin without redirect occuring. is there way this, , there way using own ip? function country_geo_redirect() { $country = getenv('http_geoip_country_code'); if ($country == "us" ) { wp_redirect("http://usa.example.com/"); exit; } else if ($country == "gb" ) { wp_redirect("http://uk.example.com/"); exit; } } add_action('init', 'country_geo_redirect'); you can bypass redirection code if server found ip address. if ip address == <my ip address> ' nothing here else country_georedirect() end if
Read more

php - .htaccess mod_rewrite for dynamic url which has domain names -

i want convert url ex:( example.com/link.php?url=facebook.com ) ( example.com/facebook.com.php ) how can using .htaccess. or there other process make job easier ? i tried adding script .htaccess file options +followsymlinks rewriteengine on rewriterule url-(.*)\.htm$ link.php?url=$1 but converting url adding "url-" ( example.com/url-facebook.com.php ) i want remove "url-" , want make ( example.com/facebook.com.php ) rewriteengine on rewritecond %{the_request} ^get.*link\.php\?url\= [nc] rewritecond %{request_uri} !/system/.* [nc] rewriterule (.*?)link\.php\?url\=/*(.*) /$1$2 [r=301,ne,l] not sure how above work edit of used use remove index.php url
Read more