flint icon indicating copy to clipboard operation
flint copied to clipboard

Shortcut for running tests

Open fredrik-johansson opened this issue 1 year ago • 4 comments

Instead of having to type

build/fmpz_mat/test/main fmpz_mat_mul

we could allow something like

./test fmpz_mat_mul

This would be even more useful with wildcard support:

./test fmpz_mat_mul_*

fredrik-johansson avatar Jan 28 '24 11:01 fredrik-johansson

Since we use Make for everything, perhaps the best thing would be to integrate it into there?

albinahlback avatar Jan 28 '24 12:01 albinahlback

Reopening because the syntax still isn't especially convenient. I would like to be able to test a function by name without also specifying the module.

Also, a wildcard feature isn't implemented.

(There is also no documentation of this feature in #1825.)

fredrik-johansson avatar Mar 11 '24 14:03 fredrik-johansson

Hmm, yeah, I misunderstood. This should be possible.

albinahlback avatar Mar 11 '24 14:03 albinahlback

For REGEX stuff, we can use PCRE2. Should be available on most modern systems. Will try to fix this during next week.

albinahlback avatar Jan 04 '25 17:01 albinahlback