diff options
| author |  MichalMoskal <unknown> | 2010-08-06 16:29:39 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-08-06 16:29:39 +0000 |
| commit | 9edae7ed37692a03f1c1e5c9596b5bd88482f829 (patch) | |
| tree | 91e9cb209708bb4590b4aded9ac26bdc022706bc /Source/Provers/Z3 | |
| parent | 149d9a5ec06529e7f4c4c6e3cb688d2c73a2c1f0 (diff) | |
Fixup line-endings.
Diffstat (limited to 'Source/Provers/Z3')
| -rw-r--r-- | Source/Provers/Z3/Inspector.cs | 2 | ||||
| -rw-r--r-- | Source/Provers/Z3/ProverInterface.cs | 2 | ||||
| -rw-r--r-- | Source/Provers/Z3/TypeDeclCollector.cs | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/Source/Provers/Z3/Inspector.cs b/Source/Provers/Z3/Inspector.cs index 6425dd00..425de1ff 100644 --- a/Source/Provers/Z3/Inspector.cs +++ b/Source/Provers/Z3/Inspector.cs @@ -44,7 +44,7 @@ void ObjectInvariant() Labels[lab.label] = lab.pos;
}
}
- return true; + return true;
}
}
diff --git a/Source/Provers/Z3/ProverInterface.cs b/Source/Provers/Z3/ProverInterface.cs index f1ba1369..172fbf60 100644 --- a/Source/Provers/Z3/ProverInterface.cs +++ b/Source/Provers/Z3/ProverInterface.cs @@ -90,7 +90,7 @@ void ObjectInvariant() public int Timeout { get { return TimeLimit / 1000; } }
public bool Typed {
get {
- return CommandLineOptions.Clo.Z3types || BitVectors == CommandLineOptions.BvHandling.Z3Native; + return CommandLineOptions.Clo.Z3types || BitVectors == CommandLineOptions.BvHandling.Z3Native;
}
}
public int Lets {
diff --git a/Source/Provers/Z3/TypeDeclCollector.cs b/Source/Provers/Z3/TypeDeclCollector.cs index 892e7a88..3baa1d26 100644 --- a/Source/Provers/Z3/TypeDeclCollector.cs +++ b/Source/Provers/Z3/TypeDeclCollector.cs @@ -282,7 +282,7 @@ void ObjectInvariant() private string ExtractBuiltin(Function f) {
Contract.Requires(f != null);
- string retVal = null; + string retVal = null;
if (NativeBv) {
retVal = f.FindStringAttribute("bvbuiltin");
}
|