@@ -60,7 +60,7 @@ choose to go through some of the Optional Test Cases.
6060 - Check that the results table is rendered
6161 - Check that result locations can be clicked on
6262
63- #### Test case 3 : Can use AST viewer
63+ #### Test case 4 : Can use AST viewer
6464
65651 . Click on any code location from a previous query to open a source file from a database
66662 . Open the AST viewing panel and click "View AST"
@@ -143,6 +143,43 @@ Run one of the above MRVAs, but cancel it from within VS Code:
143143- Check that the workflow run is also canceled.
144144- Check that any available results are visible in VS Code.
145145
146+ ### CodeQL Model Editor
147+
148+ Note the tests here require the feature flag: ` codeQL.model.editor `
149+
150+ #### Test Case 1: Opening the model editor
151+
152+ 1 . Download the ` sofastack/sofa-jraft ` java database from GitHub.
153+ 2 . Open the Model Editor with the "CodeQL: Open CodeQL Model Editor" command from the command palette.
154+ - Check that the editor loads and shows methods to model.
155+ - Check that methods are grouped per library (e.g. ` rocksdbjni@7.7.3 ` or ` asm@6.0 ` )
156+ - Check that the "Open database" link works.
157+
158+ #### Test Case 2: Model methods
159+
160+ 1 . Expand one of the libraries.
161+ - Change the model type and check that the other dropdowns change.
162+ 2 . Save the modeled methods.
163+ 3 . Click "Open extension pack"
164+ - Check that the file explorer opens a directory with a "models" directory
165+ 4 . Open the ".model.yml" file corresponding to the library that was changed.
166+ - Check that the file contrains the entries that was modeled.
167+
168+ #### Test Case 3: Model with AI
169+
170+ Note that this test requires the feature flag: ` codeQL.model.llmGeneration `
171+
172+ 1 . Click "Model with AI".
173+ - Check that rows change to "Thinking".
174+ - Check that results come back and rows get filled out.
175+
176+ #### Test Case 4: Model as dependency
177+
178+ 1 . Click "Model as dependency"
179+ - Check that grouping are now per package (e.g. ` com.alipay.sofa.rraft.option ` or ` com.google.protobuf ` )
180+ 2 . Click "Generate".
181+ - Check that rows are filled out.
182+
146183### General
147184
148185#### Test case 1: Change to a different colour theme
0 commit comments