diff options
| author |  Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2011-06-06 11:07:35 +0530 |
|---|---|---|
| committer | Unknown <akashl@akash-desk.fareast.corp.microsoft.com> | 2011-06-06 11:07:35 +0530 |
| commit | c6c58d2df084104d6f6fcd384586cd8950cc0f9a (patch) | |
| tree | 1726b3a68f78077bbc2b815acb876173317e46ee /Source | |
| parent | 330b7484f79e4e484782a3c1f5b08966b7891de0 (diff) | |
Add a string for an uninterpreted value in errModel
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/VCGeneration/Check.cs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs index 8527e53c..130852f7 100644 --- a/Source/VCGeneration/Check.cs +++ b/Source/VCGeneration/Check.cs @@ -718,8 +718,11 @@ namespace Microsoft.Boogie { List<object> vals = new List<object>();
foreach (int i in args) {
- object o = cce.NonNull(partitionToValue[i]);
- if (o is bool) {
+ object o = partitionToValue[i];
+ if (o == null) {
+ // uninterpreted value
+ vals.Add(string.Format("UI({0})", i.ToString()));
+ } else if (o is bool) {
vals.Add(o);
} else if (o is BigNum) {
vals.Add(o);
|