C#: Make sure that test output prints whether the summary is generated or not.

Author: michaelnebel

csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll

@@ -1059,9 +1059,15 @@ module Private {
       preservesValue = false and result = "taint"
     }
 
+    private string renderGenerated(boolean generated) {
+      generated = true and result = "generated:"
+      or
+      generated = false and result = ""
+    }
+
     /**
      * A query predicate for outputting flow summaries in semi-colon separated format in QL tests.
-     * The syntax is: "namespace;type;overrides;name;signature;ext;inputspec;outputspec;kind",
+     * The syntax is: "namespace;type;overrides;name;signature;ext;inputspec;outputspec;(generated:)?kind",
      * ext is hardcoded to empty.
      */
     query predicate summary(string csv) {
@@ -1072,7 +1078,7 @@ module Private {
         c.relevantSummary(input, output, preservesValue) and
         csv =
           c.getCallableCsv() + getComponentStackCsv(input) + ";" + getComponentStackCsv(output) +
-            ";" + renderKind(preservesValue)
+            ";" + renderGenerated(c.isAutoGenerated()) + renderKind(preservesValue)
       )
     }
   }