Extra tests

The extra tests located in this directory are not automatically executed via make bats.

Some tests are executed on the CI, some ones are not. Refer to the configuration of the GitHub Actions to see what tests are executed.