Unicode output broken

[DieterHofbauer]

Unicode seems no longer supported after the recent StarExec update at some level.

Example (output):

After renaming modulo the bijection { a ↦ 0, b ↦ 1 },
  it remains to prove termination of the 1-rule system (1 strict rule)
{ 0 0 1 1 ⟶ 1 1 1 0 0 0 }

How it should look like:

After renaming modulo the bijection { a ↦ 0, b ↦ 1 },
  it remains to prove termination of the 1-rule system (1 strict rule)
{ 0 0 1 1 ⟶ 1 1 1 0 0 0 }

[ffrohn]

I think that's not critical for the competition, so maybe it's best to submit this issue directly to StarExec?

https://github.com/StarExec/StarExec/issues

[DieterHofbauer]

Tests show that StarExec output looks alright even after the update, and it seems that just the output accessible through termcomp.github is broken. Indeed, this issue has low priority by now, and for the moment I wouldn't move the issue to StarExec/issues.