diff options
| author |  MichalMoskal <unknown> | 2011-01-27 21:25:14 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-01-27 21:25:14 +0000 |
| commit | 050bceedbfabfe18e269e30791be8996a81307b3 (patch) | |
| tree | 3818696de2c7a7f261e36aba7c7a659b1f99f188 /Source/ModelViewer | |
| parent | b9583c87743aa5d3b1318d5c4bf34baa826d9d64 (diff) | |
Speedup the number display algorithm, what was I thinking?
Diffstat (limited to 'Source/ModelViewer')
| -rw-r--r-- | Source/ModelViewer/Namer.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/ModelViewer/Namer.cs b/Source/ModelViewer/Namer.cs index 10125a2f..620cd4c1 100644 --- a/Source/ModelViewer/Namer.cs +++ b/Source/ModelViewer/Namer.cs @@ -46,7 +46,7 @@ namespace Microsoft.Boogie.ModelViewer neg = true;
}
- while (k < 70) {
+ while (k < 150) {
var diff = pow / 1000;
if (pow - diff < n && n < pow + diff) {
diff = n - pow;
@@ -54,6 +54,7 @@ namespace Microsoft.Boogie.ModelViewer if (neg) res = "-(" + res + ")";
return res;
}
+ if (n < pow) break;
k++;
pow *= 2;
}
|