>
> On Monday, August 29, 2022 at 9:07:53 PM UTC+2 David A. Wheeler wrote:
>
>> Let me know of any objections to adding it to our test suite.
>>
>
Well I'd love to see this, but of course I'm biased ;-). I don't think it
adds much value because it's a port, and any errors in the original program
are likely to have been faithfully reproduced.
Is it possible to get run time statistics from the test suite? - i.e. see
how long each validator is taking to run in the CI environment. That's
definitely something I'd like to see, as at the moment you only have my
word for it that checkmm-ts is fast (but nowhere near metamath-knife's
league).
Best regards,
Antony
--
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/CAJ48g%2BCZWiF8-C_8sy%2BZx1yNtosoyomh6qqD4Qw%2BzEq1%2B0AXHA%40mail.gmail.com.
