Py: Report any extracted file as successfully extracted

Author: sidshank

python/ql/src/Diagnostics/SuccessfullyExtractedFiles.ql

@@ -1,7 +1,6 @@
 /**
- * @name Successfully extracted Python files
- * @description Lists all Python files in the source code directory that were extracted
- *   without encountering an error.
+ * @name Extracted Python files
+ * @description Lists all Python files in the source code directory that were extracted.
  * @kind diagnostic
  * @id py/diagnostics/successfully-extracted-files
  * @tags successfully-extracted-files
@@ -10,7 +9,5 @@
 import python
 
 from File file
-where
-  not exists(SyntaxError e | e.getFile() = file) and
-  exists(file.getRelativePath())
+where exists(file.getRelativePath())
 select file, ""

python/ql/test/query-tests/Diagnostics/SuccessfullyExtractedFiles.expected

@@ -1 +1,3 @@
+| bad_encoding.py:0:0:0:0 | bad_encoding.py |  |
 | good_file.py:0:0:0:0 | good_file.py |  |
+| syntax_error.py:0:0:0:0 | syntax_error.py |  |