Description / Motivation

A quick shot for reactions. In the context of tezos/tezos#5084 (closed) See also tezos/tezos!7965 (merged) where I apply this change.

This modifies Tezt slightly in two manners to work better with Alcotezt:

Tests are registered by their full __FILE__ instead of just the basename. This makes more sense in a setting where files from different source folders are linked to the same tezt binary
--file FILE (resp --not-file) now selects (resp. unselects) all tests registered from a source file that ends with FILE
~~--list now displays the shortest unique suffix of test files in the FILE column instead of the full path.~~

How to Test the MR Manually

Checklist

Update CHANGES.md. No need to document changes to documentation and tests.
Make sure all new values, types etc. are documented in .mli files and that the generated documentation looks ok.
Add tests in test/, if relevant.

Edited Mar 17, 2023 by Arvid Jakobsson