Closed sailingKieler closed 10 months ago
I can also confirm that the output is identical for the example sketched in #1292:
wc -l ~/out_old.txt
16449 ~/out_old.txt
wc -l ~/out_new.txt
16449 ~/out_new.txt
diff ~/out_old.txt ~/out_new.txt
16447,16448c16447,16448
< time to generate text: 0.004 sec
< time to convert text: 16.945 sec
---
> time to generate text: 0.006 sec
> time to convert text: 0.037 sec