Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 1>------ Rebuild All started: Project: ******, Configuration: Release Any CPU ------
- CodeContracts: ******: Run static contract analysis.
- ******\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'
- CodeContracts: ******: Validated: 100,0 %
- CodeContracts: ******: Checked 3154 assertions: 2821 correct (333 masked)
- CodeContracts: ******: Contract density: 1,91
- CodeContracts: ******: Total methods analyzed 516
- CodeContracts: ******: Methods analyzed with a faster abstract domain 0
- CodeContracts: ******: Methods with 0 warnings 292
- CodeContracts: ******: Time spent in internal, potentially costly, operations
- CodeContracts: ******: Overall time spent performing action #KarrPutIntoRowEchelonForm: 00:00:05.6290000 (invoked 423610 times)
- Overall time spent performing action #KarrIsBottom: 00:00:01.0800000 (invoked 422702 times)
- Overall time spent performing action #Simplex: 00:00:02.9800000 (invoked 25582 times)
- Overall time spent performing action #SubPolyJoin: 00:00:09.8630000 (invoked 2329 times)
- Overall time spent performing action #WP: 00:00:19.6250000 (invoked 917 times)
- Overall time spent performing action #ArraysAssignInParallel: 00:00:01.5480000 (invoked 1602 times)
- Overall time spent performing action #ArraysJoin: 00:00:00.2730000 (invoked 1052 times)
- Overall time spent performing action #CheckIfEqual: 00:00:00.4960000 (invoked 11608 times)
- CodeContracts: ******: Total time 44,689sec. 86ms/method
- CodeContracts: ******: Generated 244 entry assume(s) (suggested 0 after filtering)
- CodeContracts: ******: Generated 137 callee assume(s)
- CodeContracts: ******: Retained 21 preconditions after filtering
- CodeContracts: ******: Inferred 298 object invariants
- CodeContracts: ******: Retained 0 object invariants after filtering
- CodeContracts: ******: Discovered 694 postconditions to suggest
- CodeContracts: ******: Retained 378 postconditions after filtering
- CodeContracts: ******: Detected 108 code fixes
- CodeContracts: ******: Proof obligations with a code fix: 111
- C:\Windows\system32\******(1,1): message : CodeContracts: Checked 3154 assertions: 2821 correct (333 masked)
- CodeContracts: ******:
- CodeContracts: ******: Static contract analysis done.
- 1> elapsed time: 383,5886ms
- 1> ****** -> ******\bin\Release\******.dll
- 1> Running Code Analysis...
- 1> Code Analysis Complete -- 0 error(s), 0 warning(s)
- 2>------ Rebuild All started: Project: ******.UnitTests, Configuration: Release Any CPU ------
- 2> ******.UnitTests -> ******\bin\Release\******.UnitTests.dll
- ========== Rebuild All: 1 succeeded, 1 failed, 0 skipped ==========
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement