diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-03 18:59:51 +0100 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-03 19:33:49 +0100 |
commit | 508d5a99101097948b6de342295eec0d5c8cbe72 (patch) | |
tree | 6287f344756f10dc67b1c36182480a0b76ad3c4f /test-suite/typeclasses | |
parent | db2c6f0054d3e05f82da7494ce790c04b1976401 (diff) |
Fixing bug #4105: poor escaping in the protocol between CoqIDE and coqtop.
Printing invalid UTF-8 string startled GTK too much, leading to CoqIDE dying
improperly. We now check that all strings outputed by Coq are proper UTF-8.
This is not perfect, as CoqIDE will sometimes truncate strings which contains
the null character, but at least it should not crash.
Diffstat (limited to 'test-suite/typeclasses')
0 files changed, 0 insertions, 0 deletions