Split option fails - Githubissues

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

Apache License 2.0

25 stars 10 forks source link

Closed tirix closed 2 years ago

tirix commented 2 years ago

Running metamath-knife fails for me when the --split command line option is activated:

> cargo run -- ../set.mm/set.mm --split
thread 'main' has overflowed its stack
fatal runtime error: stack overflow
Abort trap: 6

It seems it started to fail with commit a7c42bd, which introduced the changes clippy. The issue appears to be with the initial parse pass.