diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-08-05 13:58:42 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-08-05 14:00:39 -0700 |
| commit | 73153d7146aa1ee2493f42de55ddc2888d69873e (patch) | |
| tree | fb55cb521fde2ef7f0c6016f160461fff79c468c /tools | |
| parent | 0f645523eb92d6e04fa420996210a1d4f82c04ff (diff) | |
increase logging output, fixes s_0_0.test_safe_heap
Diffstat (limited to 'tools')
| -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 250c018d..c0df227d 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -599,7 +599,7 @@ def line_splitter(data): return out -def limit_size(string, MAX=80*20): +def limit_size(string, MAX=120*20): if len(string) < MAX: return string return string[0:MAX/2] + '\n[..]\n' + string[-MAX/2:] |