diff options
| author |  MichalMoskal <unknown> | 2011-01-27 21:23:00 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-01-27 21:23:00 +0000 |
| commit | b9583c87743aa5d3b1318d5c4bf34baa826d9d64 (patch) | |
| tree | 22633f48ba66d4e29744690c225a14d4e3922d29 /Source/ModelViewer/VccProvider.cs | |
| parent | cc45fb14f18fe89ed3ee7f3c796b083cb57c63ba (diff) | |
Display numbers within +-%0.1 of a power of two as 2^N+M
Diffstat (limited to 'Source/ModelViewer/VccProvider.cs')
| -rw-r--r-- | Source/ModelViewer/VccProvider.cs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs index 0bd59d34..0573de6b 100644 --- a/Source/ModelViewer/VccProvider.cs +++ b/Source/ModelViewer/VccProvider.cs @@ -404,6 +404,10 @@ namespace Microsoft.Boogie.ModelViewer.Vcc return r;
}
+ var i = elt as Model.Integer;
+ if (i != null)
+ return AsPow2(i);
+
return null;
}
|