diff options
| author |  akashlal <unknown> | 2011-03-18 06:10:26 +0000 |
|---|---|---|
| committer | akashlal <unknown> | 2011-03-18 06:10:26 +0000 |
| commit | 9bdc7b6ee6b24ee150170e884d827ea7c1013b59 (patch) | |
| tree | 36227cc7b02d851949a93e0f109e7751e829c6dc /Source/Provers/Z3api | |
| parent | b05011878c6ec3aa713d5f5c4ece5825132ce2ca (diff) | |
Fixed a tricky bug in z3api
Diffstat (limited to 'Source/Provers/Z3api')
| -rw-r--r-- | Source/Provers/Z3api/ContextLayer.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/Provers/Z3api/ContextLayer.cs b/Source/Provers/Z3api/ContextLayer.cs index a67530cc..3a9c74ae 100644 --- a/Source/Provers/Z3api/ContextLayer.cs +++ b/Source/Provers/Z3api/ContextLayer.cs @@ -127,9 +127,10 @@ namespace Microsoft.Boogie.Z3 {
result = partitionCounter++;
termToPartition.Add(value, result);
+ partitionToValue.Add(null);
object constant = Evaluate(value);
valueToPartition.Add(constant, result);
- partitionToValue.Add(constant);
+ partitionToValue[result] = constant;
}
return result;
}
|