make the top-level comment in SuperlinearBackTracking.qll a QLDoc

erik-krogh · erik-krogh · commit dff7b475fbcd · 2022-11-15T11:46:44.000+01:00
diff --git a/shared/regex/codeql/regex/nfa/SuperlinearBackTracking.qll b/shared/regex/codeql/regex/nfa/SuperlinearBackTracking.qll
@@ -1,4 +1,4 @@
-/*
+/**
  * This module implements the analysis described in the paper:
  *   Valentin Wustholz, Oswaldo Olivo, Marijn J. H. Heule, and Isil Dillig:
  *     Static Detection of DoS Vulnerabilities in

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-/*`
	`1`	`+/**`
`2`	`2`	`* This module implements the analysis described in the paper:`
`3`	`3`	`* Valentin Wustholz, Oswaldo Olivo, Marijn J. H. Heule, and Isil Dillig:`
`4`	`4`	`* Static Detection of DoS Vulnerabilities in`