Closed mortii closed 2 months ago
how could I help with this
@Vilhelm-Ian no need, I'm like 90% done already.
Have you made any progress on the lemma stuff in #191?
no. I will take a look at it tomorrow.
This issue has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.
Currently the tests now use a monolithic collection of cards which is good in one sense that it might catch unnexpected edge cases, but it does not lend itself for engineering edge cases. This results in tests not being generated for bugs that are found, so we need a different approach, probably just adding a bunch of smaller engineered collections that contain the edge cases we are trying to test for.
Todo:
names.txt
(right now we just have an xfail test)