On 09/11/2019 13:29, Michael Van Canneyt wrote: > When testing I converted the tests to the format suitable for my rtl > testsuite, so they are run whenever I run that testsuite. They're even more useful if they can be run by anyone, and are automatically used during the nightly testsuite run. Jonas