Remaining action items for the test case generation: > * Worked on command line and I could now also find the directory. It was in my home directory (so it seems the GUI info is ignored?) > * Maybe we should place it in the directory where it is called by default? * [ ] Check if options are available for the output path. > Thanks! _Originally posted by @unp1 in https://github.com/KeYProject/key/issues/3388#issuecomment-3318634126_