do we always have to add an additional .csd test in test/commandline 
manually to test.py?

yes, if you make a new csd file for a test, you have to add to test.py (and git add) so the script can run it. You can indicated whether it's supposed to pass or to fail.

Prof. Victor Lazzarini
Maynooth University
Ireland

> On 10 Jul 2025, at 15:06, joachim heintz  wrote:
> 
> *Warning*
> 
> This email originated from outside of Maynooth University's Mail System. Do not reply, click links or open attachments unless you recognise the sender and know the content is safe.
> 
> do we always have to add an additional .csd test in test/commandline
> manually to test.py?