diff options
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);
|