Max Köhler (Jan 21 2021 at 14:39): 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?
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.
Júlio Hoffimann (Jan 21 2021 at 14:49):Indeed, we've been waiting for this feature for a while :pray:
Andrey Oskin (Jan 21 2021 at 18:05):There is ReTest.jl
Andrey Oskin (Jan 21 2021 at 18:07):Also if you can collect testsets in files, then you can run individual files.
Andrey Oskin (Jan 21 2021 at 18:07):Is not exactly the same as running individual tests, but good enough in practice
Last updated: Oct 02 2023 at 04:34 UTC