search

epfl-lara / inox

Solver for higher-order functional programs, used by Stainless
Apache License 2.0
88 stars 20 forks source link

Do not print unicode characters by default #196

Closed mario-bucev closed 1 year ago

mario-bucev commented 1 year ago

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