search

jcreedcmu / twelf-mac

Other
0 stars 1 forks source link

Twelf output pretty-printing wrong after a certain point #16

Open jcreedcmu opened 3 months ago

jcreedcmu commented 3 months ago

Trying to run classical s5 yields:

image

jcreedcmu commented 3 months ago

I am able to reproduce this. Looks like the culprit is the console output exceeding 32kb of text, just by a little bit, around 2kb. Here's some debugging output: image

jcreedcmu commented 3 months ago

If retro console supports larger buffers than 32kb, it might be worth investigating using it.

jcreedcmu commented 3 months ago

I'm told retro console doesn't support scrollback, so probably isn't a desirable option.