Skip to content
This repository has been archived by the owner on Jul 15, 2023. It is now read-only.

Commit

Permalink
Minor changes
Browse files Browse the repository at this point in the history
  • Loading branch information
@wuestholz
wuestholz committed Jun 15, 2016
1 parent bf32538 commit e904c8d
Show file tree
Hide file tree
Showing 16 changed files with 37 additions and 37 deletions.
4 changes: 2 additions & 2 deletions Microsoft.Research/RegressionTest/MaxCalls/MaxCalls.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace CallDepth
namespace MaxCalls
{
public class CallDepth
public class MaxCalls
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome = ProofOutcome.True, Message = @"assert is valid", PrimaryILOffset = 38, MethodILOffset = 0)]
Expand Down
4 changes: 2 additions & 2 deletions Microsoft.Research/RegressionTest/MaxCalls/MaxCalls0.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace CallDepth
namespace MaxCalls
{
public class CallDepth
public class MaxCalls
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome = ProofOutcome.True, Message = @"assert is valid", PrimaryILOffset = 38, MethodILOffset = 0)]
Expand Down
4 changes: 2 additions & 2 deletions Microsoft.Research/RegressionTest/MaxCalls/MaxCalls1.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace CallDepth
namespace MaxCalls
{
public class CallDepth
public class MaxCalls
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome = ProofOutcome.True, Message = @"assert is valid", PrimaryILOffset = 38, MethodILOffset = 0)]
Expand Down
6 changes: 3 additions & 3 deletions Microsoft.Research/RegressionTest/MaxJoins/MaxJoins.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace JoinDepthTest
namespace MaxJoins
{
public class JoinDepth
public class MaxJoins
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome = ProofOutcome.Top, Message = @"assert unproven", PrimaryILOffset = 29, MethodILOffset = 0)]
Expand Down Expand Up @@ -51,4 +51,4 @@ private void Test1(int x, int y)
Contract.Assert(s1 != null);
}
}
}
}
4 changes: 2 additions & 2 deletions Microsoft.Research/RegressionTest/MaxJoins/MaxJoins0.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace JoinDepth
namespace MaxJoins
{
public class JoinDepth
public class MaxJoins
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome = ProofOutcome.False, Message = @"assert is false", PrimaryILOffset = 29, MethodILOffset = 0)]
Expand Down
6 changes: 3 additions & 3 deletions Microsoft.Research/RegressionTest/MaxJoins/MaxJoins1.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace JoinDepth
namespace MaxJoins
{
public class JoinDepth
public class MaxJoins
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome = ProofOutcome.Top, Message = @"assert unproven", PrimaryILOffset = 29, MethodILOffset = 0)]
Expand Down Expand Up @@ -51,4 +51,4 @@ private void Test1(int x, int y)
Contract.Assert(s1 != null);
}
}
}
}
6 changes: 3 additions & 3 deletions Microsoft.Research/RegressionTest/MaxJoins/MaxJoins2.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace JoinDepth
namespace MaxJoins
{
public class JoinDepth
public class MaxJoins
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome = ProofOutcome.Top, Message = @"assert unproven", PrimaryILOffset = 29, MethodILOffset = 0)]
Expand Down Expand Up @@ -51,4 +51,4 @@ private void Test1(int x, int y)
Contract.Assert(s1 != null);
}
}
}
}
4 changes: 2 additions & 2 deletions Microsoft.Research/RegressionTest/MaxWidenings/MaxWidenings0.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace WideningDepth
namespace MaxWidenings
{
public class WideningDepth
public class MaxWidenings
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome = ProofOutcome.True, Message = @"assert is valid", PrimaryILOffset = 13, MethodILOffset = 0)]
Expand Down
6 changes: 3 additions & 3 deletions Microsoft.Research/RegressionTest/MaxWidenings/MaxWidenings1.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace WideningDepth
namespace MaxWidenings
{
public class WideningDepth
public class MaxWidenings
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome = ProofOutcome.True, Message = @"assert is valid", PrimaryILOffset = 13, MethodILOffset = 0)]
Expand All @@ -34,4 +34,4 @@ private void Test0(int x, int N)
Contract.Assert(y <= x);
}
}
}
}
4 changes: 2 additions & 2 deletions Microsoft.Research/RegressionTest/MaxWidenings/MaxWidenings2.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace WideningDepth
namespace MaxWidenings
{
public class WideningDepth
public class MaxWidenings
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome = ProofOutcome.True, Message = "assert is valid", PrimaryILOffset = 76, MethodILOffset = 0)]
Expand Down
4 changes: 2 additions & 2 deletions Microsoft.Research/RegressionTest/MaxWidenings/MaxWidenings3.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace WideningDepth
namespace MaxWidenings
{
public class WideningDepth
public class MaxWidenings
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome = ProofOutcome.True, Message = "assert is valid", PrimaryILOffset = 76, MethodILOffset = 0)]
Expand Down
6 changes: 3 additions & 3 deletions Microsoft.Research/RegressionTest/MaxWidenings/MaxWidenings4.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace WideningDepth
namespace MaxWidenings
{
public class WideningDepth
public class MaxWidenings
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome = ProofOutcome.True, Message = "assert is valid", PrimaryILOffset = 76, MethodILOffset = 0)]
Expand Down Expand Up @@ -53,4 +53,4 @@ public static long Exp_Reflector(long x, long y)
return num;
}
}
}
}
4 changes: 2 additions & 2 deletions Microsoft.Research/RegressionTest/MaxWidenings/MaxWidenings5.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace WideningDepth
namespace MaxWidenings
{
public class WideningDepth
public class MaxWidenings
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome=ProofOutcome.True,Message="assert is valid",PrimaryILOffset=33,MethodILOffset=0)]
Expand Down
4 changes: 2 additions & 2 deletions Microsoft.Research/RegressionTest/MaxWidenings/MaxWidenings6.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace WideningDepth
namespace MaxWidenings
{
public class WideningDepth
public class MaxWidenings
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome=ProofOutcome.Top,Message="assert unproven",PrimaryILOffset=33,MethodILOffset=0)]
Expand Down
4 changes: 2 additions & 2 deletions Microsoft.Research/RegressionTest/MaxWidenings/MaxWidenings7.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace WideningDepth
namespace MaxWidenings
{
public class WideningDepth
public class MaxWidenings
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome=ProofOutcome.True,Message="valid non-null reference (as receiver)",PrimaryILOffset=1,MethodILOffset=0)]
Expand Down
4 changes: 2 additions & 2 deletions Microsoft.Research/RegressionTest/MaxWidenings/MaxWidenings8.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
using System.Diagnostics.Contracts;
using Microsoft.Research.ClousotRegression;

namespace WideningDepth
namespace MaxWidenings
{
public class WideningDepth
public class MaxWidenings
{
[ClousotRegressionTest]
[RegressionOutcome(Outcome=ProofOutcome.True,Message="valid non-null reference (as receiver)",PrimaryILOffset=1,MethodILOffset=0)]
Expand Down

0 comments on commit e904c8d

Please sign in to comment.