sorear / smetamath-rs

sorear's Metamath system engine - version 3 Rust
Apache License 2.0
22 stars 6 forks source link

Create a battery of input/output tests comparable to SMM2 #1

Open sorear opened 8 years ago

sorear commented 8 years ago

I'd like it to be approximately as thorough as the SMM2 tests, and some of them could probably be reused as is, although the grammar is significantly different and will hit errors in a different order, and something needs to be done to test incremental operation but I'm not sure what that would look like yet.