> On Aug 31, 2022, at 5:01 AM, Antony Bartlett <[email protected]> wrote:
>
> 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).
Take a look at any pull request, and click on the checks.
For example, if you go here:
https://github.com/metamath/set.mm/pull/2803
Click on any of the green checkmarks, which will show you the list of checks.
You can then see their times.
That only shows the times for that case; if you were serious you'd take a
sample.
But we aren't in *that* much of a rush that running some tests hampers anything.
--- David A. Wheeler
--
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/AF4C1042-9517-4BD6-A8F5-C129441B5340%40dwheeler.com.
