diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-18 16:41:10 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-18 16:41:10 -0700 |
commit | a019d797bd42866242e48ef00850f74e3bdc9241 (patch) | |
tree | 5ff143def292fcf8190c2613fb675fa19692ab81 /Test/runTests.py | |
parent | ac137091eac412d2ea8a79ac1c05d161db3365f2 (diff) |
Server: disable tracing when running tests, and fix an encoding issue.
z3 doesn't support byte-order marks; thus using the default UTF8Encoding object
(to allow printing nice warning signs) causes issues, as it sends a BOM before
anything else.
Diffstat (limited to 'Test/runTests.py')
0 files changed, 0 insertions, 0 deletions