Compare text

Find the difference between two text files

Real-time diff

Unified diff

Collapse lines

Highlight change

Syntax highlighting

Tools

Untitled diff

Created 9 years agoDiff never expires

15 removals

35 lines

17 additions

35 lines

1>------ Build started: Project: MyContactTest, Configuration: Debug Any CPU ------

CodeContracts: MyContactTest: Schedule static contract analysis.

CodeContracts: MyContactTest: Background contract analysis started.

1> elapsed time: 941,164ms

1> elapsed time: 850,5333ms

1> MyContactTest -> C:\Downloads\hlam\MyContactTest\MyContactTest\bin\Debug\MyContactTest.exe

========== Build: 1 succeeded, 0 failed, 0 up-to-date, 0 skipped ==========

C:\Downloads\hlam\MyContactTest\MyContactTest\Program.cs(15,13): message : CodeContracts: Suggested requires: Contract.Requires((this.amount + i) >= 0);

CodeContracts: MyContactTest: Validated: 75,0%

CodeContracts: MyContactTest: Validated: 42,9%

CodeContracts: MyContactTest: Checked 12 assertions: 9 correct 2 unknown 1 false

CodeContracts: MyContactTest: Checked 21 assertions: 9 correct 2 unknown 9 unreached 1 false

CodeContracts: MyContactTest: Contract density: 3,73

CodeContracts: MyContactTest: Contract density: 4,09

CodeContracts: MyContactTest: Total methods analyzed 6

CodeContracts: MyContactTest: Methods analyzed with a faster abstract domain 0

CodeContracts: MyContactTest: Methods with 0 warnings 4

CodeContracts: MyContactTest: Time spent in internal, potentially costly, operations

CodeContracts: MyContactTest: Overall time spent performing action #KarrPutIntoRowEchelonForm: 00:00:00.0129972 (invoked 359 times)

CodeContracts: MyContactTest: Overall time spent performing action #KarrPutIntoRowEchelonForm: 00:00:00.0099933 (invoked 370 times)

Overall time spent performing action #KarrIsBottom: 00:00:00.0150045 (invoked 797 times)

Overall time spent performing action #KarrIsBottom: 00:00:00.0099968 (invoked 773 times)

Overall time spent performing action #WP: 00:00:00.0780023 (invoked 2 times)

Overall time spent performing action #WP: 00:00:00.0760003 (invoked 2 times)

Overall time spent performing action #Simplex: 00:00:00.0650066 (invoked 7 times)

Overall time spent performing action #Simplex: 00:00:00.0640044 (invoked 7 times)

CodeContracts: MyContactTest: Total time 5,566sec. 927ms/method

CodeContracts: MyContactTest: Total time 6,125sec. 1020ms/method

CodeContracts: MyContactTest: Methods with necessary preconditions: 2

CodeContracts: MyContactTest: Discovered 2 new candidate preconditions in 00:00:00.2108343

CodeContracts: MyContactTest: Discovered 2 new candidate preconditions in 00:00:00.2083741

CodeContracts: MyContactTest: Retained 2 preconditions after filtering

CodeContracts: MyContactTest: Inferred 0 object invariants

CodeContracts: MyContactTest: Retained 0 object invariants after filtering

CodeContracts: MyContactTest: Discovered 10 postconditions to suggest

CodeContracts: MyContactTest: Retained 0 postconditions after filtering

CodeContracts: MyContactTest: Detected 0 code fixes

CodeContracts: MyContactTest: Proof obligations with a code fix: 0

C:\Downloads\hlam\MyContactTest\MyContactTest\Program.cs(26,13): warning : CodeContracts: Invoking method 'Main' will always lead to an error. If this is wanted, consider adding Contract.Requires(false) to document it

C:\Downloads\hlam\MyContactTest\MyContactTest\Program.cs(27,13): warning : CodeContracts: requires is false: s != null

C:\Downloads\hlam\MyContactTest\MyContactTest\Program.cs(26,13): warning : CodeContracts: requires is false: s != null

C:\Downloads\hlam\MyContactTest\MyContactTest\Program.cs(44,13): warning : + location related to previous warning

C:\Program Files (x86)\Microsoft Visual Studio 12.0\Common7\IDE\MyContactTest.exe(1,1): message : CodeContracts: Checked 12 assertions: 9 correct 2 unknown 1 false

X:\!POE\MyBuild\PoeHud\MyContactTest.exe(1,1): message : CodeContracts: Checked 21 assertions: 9 correct 2 unknown 9 unreached 1 false

CodeContracts: MyContactTest:

CodeContracts: MyContactTest: Background contract analysis done.

Saved diffs

Original text

Open file

1>------ Build started: Project: MyContactTest, Configuration: Debug Any CPU ------
CodeContracts: MyContactTest: Schedule static contract analysis.
CodeContracts: MyContactTest: Background contract analysis started.
1>  elapsed time: 941,164ms
1>  MyContactTest -> C:\Downloads\hlam\MyContactTest\MyContactTest\bin\Debug\MyContactTest.exe
========== Build: 1 succeeded, 0 failed, 0 up-to-date, 0 skipped ==========
C:\Downloads\hlam\MyContactTest\MyContactTest\Program.cs(15,13): message : CodeContracts: Suggested requires: Contract.Requires((this.amount + i) >= 0);
CodeContracts: MyContactTest: Validated:  75,0%
CodeContracts: MyContactTest: Checked 12 assertions: 9 correct 2 unknown 1 false
CodeContracts: MyContactTest: Contract density: 3,73
CodeContracts: MyContactTest: Total methods analyzed 6
CodeContracts: MyContactTest: Methods analyzed with a faster abstract domain 0
CodeContracts: MyContactTest: Methods with 0 warnings 4
CodeContracts: MyContactTest: Time spent in internal, potentially costly, operations
CodeContracts: MyContactTest: Overall time spent performing action #KarrPutIntoRowEchelonForm: 00:00:00.0129972 (invoked 359 times)
Overall time spent performing action #KarrIsBottom: 00:00:00.0150045 (invoked 797 times)
Overall time spent performing action #WP: 00:00:00.0780023 (invoked 2 times)
Overall time spent performing action #Simplex: 00:00:00.0650066 (invoked 7 times)
CodeContracts: MyContactTest: Total time 5,566sec. 927ms/method
CodeContracts: MyContactTest: Methods with necessary preconditions: 2
CodeContracts: MyContactTest: Discovered 2 new candidate preconditions in 00:00:00.2108343
CodeContracts: MyContactTest: Retained 2 preconditions after filtering
CodeContracts: MyContactTest: Inferred 0 object invariants
CodeContracts: MyContactTest: Retained 0 object invariants after filtering
CodeContracts: MyContactTest: Discovered 10 postconditions to suggest
CodeContracts: MyContactTest: Retained 0 postconditions after filtering
CodeContracts: MyContactTest: Detected 0 code fixes
CodeContracts: MyContactTest: Proof obligations with a code fix: 0
C:\Downloads\hlam\MyContactTest\MyContactTest\Program.cs(26,13): warning : CodeContracts: Invoking method 'Main' will always lead to an error. If this is wanted, consider adding Contract.Requires(false) to document it
C:\Downloads\hlam\MyContactTest\MyContactTest\Program.cs(27,13): warning : CodeContracts: requires is false: s != null
C:\Downloads\hlam\MyContactTest\MyContactTest\Program.cs(44,13): warning :   + location related to previous warning
C:\Program Files (x86)\Microsoft Visual Studio 12.0\Common7\IDE\MyContactTest.exe(1,1): message : CodeContracts: Checked 12 assertions: 9 correct 2 unknown 1 false
CodeContracts: MyContactTest: 
CodeContracts: MyContactTest: Background contract analysis done.

Changed text

Open file

1>------ Build started: Project: MyContactTest, Configuration: Debug Any CPU ------
CodeContracts: MyContactTest: Schedule static contract analysis.
CodeContracts: MyContactTest: Background contract analysis started.
1>  elapsed time: 850,5333ms
1>  MyContactTest -> C:\Downloads\hlam\MyContactTest\MyContactTest\bin\Debug\MyContactTest.exe
========== Build: 1 succeeded, 0 failed, 0 up-to-date, 0 skipped ==========
C:\Downloads\hlam\MyContactTest\MyContactTest\Program.cs(15,13): message : CodeContracts: Suggested requires: Contract.Requires((this.amount + i) >= 0);
CodeContracts: MyContactTest: Validated:  42,9%
CodeContracts: MyContactTest: Checked 21 assertions: 9 correct 2 unknown 9 unreached 1 false
CodeContracts: MyContactTest: Contract density: 4,09
CodeContracts: MyContactTest: Total methods analyzed 6
CodeContracts: MyContactTest: Methods analyzed with a faster abstract domain 0
CodeContracts: MyContactTest: Methods with 0 warnings 4
CodeContracts: MyContactTest: Time spent in internal, potentially costly, operations
CodeContracts: MyContactTest: Overall time spent performing action #KarrPutIntoRowEchelonForm: 00:00:00.0099933 (invoked 370 times)
Overall time spent performing action #KarrIsBottom: 00:00:00.0099968 (invoked 773 times)
Overall time spent performing action #WP: 00:00:00.0760003 (invoked 2 times)
Overall time spent performing action #Simplex: 00:00:00.0640044 (invoked 7 times)
CodeContracts: MyContactTest: Total time 6,125sec. 1020ms/method
CodeContracts: MyContactTest: Methods with necessary preconditions: 2
CodeContracts: MyContactTest: Discovered 2 new candidate preconditions in 00:00:00.2083741
CodeContracts: MyContactTest: Retained 2 preconditions after filtering
CodeContracts: MyContactTest: Inferred 0 object invariants
CodeContracts: MyContactTest: Retained 0 object invariants after filtering
CodeContracts: MyContactTest: Discovered 10 postconditions to suggest
CodeContracts: MyContactTest: Retained 0 postconditions after filtering
CodeContracts: MyContactTest: Detected 0 code fixes
CodeContracts: MyContactTest: Proof obligations with a code fix: 0
C:\Downloads\hlam\MyContactTest\MyContactTest\Program.cs(26,13): warning : CodeContracts: Invoking method 'Main' will always lead to an error. If this is wanted, consider adding Contract.Requires(false) to document it
C:\Downloads\hlam\MyContactTest\MyContactTest\Program.cs(26,13): warning : CodeContracts: requires is false: s != null
C:\Downloads\hlam\MyContactTest\MyContactTest\Program.cs(44,13): warning :   + location related to previous warning
X:\!POE\MyBuild\PoeHud\MyContactTest.exe(1,1): message : CodeContracts: Checked 21 assertions: 9 correct 2 unknown 9 unreached 1 false
CodeContracts: MyContactTest: 
CodeContracts: MyContactTest: Background contract analysis done.