Stream: helpdesk (published)

Topic: Shortcut to test specific testset


view this post on Zulip Max Köhler (Jan 21 2021 at 14:39):

if we want to run the full testsuite we can do

] test

is there some similar shortcut to test only one specific testset?

view this post on Zulip Expanding Man (Jan 21 2021 at 14:41):

Not currently. This was just being discussed on slack. It would be a nice feature to have.

view this post on Zulip Júlio Hoffimann (Jan 21 2021 at 14:49):

Indeed, we've been waiting for this feature for a while :pray:

view this post on Zulip Kwaku Oskin (Jan 21 2021 at 18:05):

There is ReTest.jl

view this post on Zulip Kwaku Oskin (Jan 21 2021 at 18:07):

Also if you can collect testsets in files, then you can run individual files.

view this post on Zulip Kwaku Oskin (Jan 21 2021 at 18:07):

Is not exactly the same as running individual tests, but good enough in practice


Last updated: Nov 22 2024 at 04:41 UTC