Skip to content

Do not print unicode characters by default

Viktor Kuncak requested to merge github/fork/mario-bucev/no-unicode-printing into main

Created by: mario-bucev

This change partially addresses https://github.com/epfl-lara/stainless/issues/1355 Printing of unicode characters is now an opt-in through --print-unicode

Merge request reports