Hi Sam, here
https://github.com/glacode/yamma/blob/master/server/src/__test__/DisjointVarsManager.test.ts you can find 4 unit tests I use for yamma (a mmj2 alternative). The first two tests are for a disj var violation (very bad) The third test is ok (skip it). The fourth test is for a missing $d constraint (bad, but easy to fix) (I wrote them quite some time ago, I don't remember if I copied them from other sources, or I wrote them from scratch) HTH Glauco -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/91304638-b0dc-4f10-a2d3-6734dbbfaaa6n%40googlegroups.com.
