Advertisement
Guest User

Code contracts build failure

a guest
Jun 4th, 2015
335
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 2.79 KB | None | 0 0
  1. 1>------ Rebuild All started: Project: ******, Configuration: Release Any CPU ------
  2. CodeContracts: ******: Run static contract analysis.
  3. ******\packages\Microsoft.Net.Http.2.2.29\lib\portable-net40+sl4+win8+wp71+wpa81\System.Net.Http.dll(1,1): warning : CodeContracts: Could not find the method/type 'System.Diagnostics.Contracts.PureAttribute' in assembly '******\packages\Microsoft.Net.Http.2.2.29\lib\portable-net40+sl4+win8+wp71+wpa81\System.Net.Http.dll'
  4. CodeContracts: ******: Validated: 100,0 %
  5. CodeContracts: ******: Checked 3154 assertions: 2821 correct (333 masked)
  6. CodeContracts: ******: Contract density: 1,91
  7. CodeContracts: ******: Total methods analyzed 516
  8. CodeContracts: ******: Methods analyzed with a faster abstract domain 0
  9. CodeContracts: ******: Methods with 0 warnings 292
  10. CodeContracts: ******: Time spent in internal, potentially costly, operations
  11. CodeContracts: ******: Overall time spent performing action #KarrPutIntoRowEchelonForm: 00:00:05.6290000 (invoked 423610 times)
  12. Overall time spent performing action #KarrIsBottom: 00:00:01.0800000 (invoked 422702 times)
  13. Overall time spent performing action #Simplex: 00:00:02.9800000 (invoked 25582 times)
  14. Overall time spent performing action #SubPolyJoin: 00:00:09.8630000 (invoked 2329 times)
  15. Overall time spent performing action #WP: 00:00:19.6250000 (invoked 917 times)
  16. Overall time spent performing action #ArraysAssignInParallel: 00:00:01.5480000 (invoked 1602 times)
  17. Overall time spent performing action #ArraysJoin: 00:00:00.2730000 (invoked 1052 times)
  18. Overall time spent performing action #CheckIfEqual: 00:00:00.4960000 (invoked 11608 times)
  19. CodeContracts: ******: Total time 44,689sec. 86ms/method
  20. CodeContracts: ******: Generated 244 entry assume(s) (suggested 0 after filtering)
  21. CodeContracts: ******: Generated 137 callee assume(s)
  22. CodeContracts: ******: Retained 21 preconditions after filtering
  23. CodeContracts: ******: Inferred 298 object invariants
  24. CodeContracts: ******: Retained 0 object invariants after filtering
  25. CodeContracts: ******: Discovered 694 postconditions to suggest
  26. CodeContracts: ******: Retained 378 postconditions after filtering
  27. CodeContracts: ******: Detected 108 code fixes
  28. CodeContracts: ******: Proof obligations with a code fix: 111
  29. C:\Windows\system32\******(1,1): message : CodeContracts: Checked 3154 assertions: 2821 correct (333 masked)
  30. CodeContracts: ******:
  31. CodeContracts: ******: Static contract analysis done.
  32. 1> elapsed time: 383,5886ms
  33. 1> ****** -> ******\bin\Release\******.dll
  34. 1> Running Code Analysis...
  35. 1> Code Analysis Complete -- 0 error(s), 0 warning(s)
  36. 2>------ Rebuild All started: Project: ******.UnitTests, Configuration: Release Any CPU ------
  37. 2> ******.UnitTests -> ******\bin\Release\******.UnitTests.dll
  38. ========== Rebuild All: 1 succeeded, 1 failed, 0 skipped ==========
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement