overturetool / vdm-vscode

Visual Studio Code extension for VDM language support
GNU General Public License v3.0
21 stars 6 forks source link

"Generate Test Outline" does not search subfolders for traces #186

Open nickbattle opened 1 year ago

nickbattle commented 1 year ago

The Combinatorial Testing panel's "Generate test outline" button does not find traces that are in files in subfolders. It only seems to find traces in top level files. So projects without any top-level traces cannot have their traces generated. This appears to be true of all dialects.

A workaround is to move traces into a top level file, but that should not be necessary.