diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-12-23 20:45:25 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-12-23 20:45:25 -0800 |
| commit | 821316d6173441fc02f3d49a5b430b179e1f302a (patch) | |
| tree | 1ae14412d1d597f9092d0d8b1f5bad86992ca578 | |
| parent | 508d4f02413a6f3d1924c17e410882081ba67615 (diff) | |
fix size limit in limit_size, necessary for s_0_0.test_safe_heap
| -rw-r--r-- | tools/shared.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index 2177a527..5a6a5360 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -682,7 +682,7 @@ def line_splitter(data): return out -def limit_size(string, MAX=80*20): +def limit_size(string, MAX=800*20): if len(string) < MAX: return string return string[0:MAX/2] + '\n[..]\n' + string[-MAX/2:] |