search

jgm / djot

A light markup language
https://djot.net
MIT License
1.66k stars 43 forks source link

add full coverage test #114

Closed matklad closed 1 year ago

matklad commented 1 year ago

closes #107

Sadly, this came to late -- didn't uncover any new bugs :D This was able to uncover https://github.com/jgm/djot/issues/106 when I reverted the fix though.

Not sure whether it makes sense to keep this.

The test completes in 172.25s on lua 5.4 for me

jgm commented 1 year ago

Can't hurt to have it! Maybe I'll set up a CI to run it and the fuzz test nightly. I ran the fuzz today with 10,000,000 tests and it didn't find anything, but code changes in the future might trigger these.