python: remove uninformative headers

yoff · yoff · commit 2c0ed98cb2a3 · 2026-07-27T16:25:06.000+02:00
diff --git a/python/ql/test/library-tests/ControlFlow/evaluation-order/NewCfgBasicBlockAnnotationGap.ql b/python/ql/test/library-tests/ControlFlow/evaluation-order/NewCfgBasicBlockAnnotationGap.ql
@@ -1,7 +1,6 @@
 /**
  * New-CFG version of BasicBlockAnnotationGap.
  *
- * Original:
  * Checks that within a basic block, if a node is annotated then its
  * successor is also annotated (or excluded). A gap in annotations
  * within a basic block indicates a missing annotation, since there
diff --git a/python/ql/test/library-tests/ControlFlow/evaluation-order/NewCfgBasicBlockOrdering.ql b/python/ql/test/library-tests/ControlFlow/evaluation-order/NewCfgBasicBlockOrdering.ql
@@ -1,7 +1,6 @@
 /**
  * New-CFG version of BasicBlockOrdering.
  *
- * Original:
  * Checks that within a single basic block, annotations appear in
  * increasing minimum-timestamp order.
  */
diff --git a/python/ql/test/library-tests/ControlFlow/evaluation-order/NewCfgConsecutiveTimestamps.ql b/python/ql/test/library-tests/ControlFlow/evaluation-order/NewCfgConsecutiveTimestamps.ql
@@ -1,7 +1,6 @@
 /**
  * New-CFG version of ConsecutiveTimestamps.
  *
- * Original:
  * Checks that consecutive annotated nodes have consecutive timestamps:
  * for each annotation with timestamp `a`, some CFG node for that annotation
  * must have a next annotation containing `a + 1`.
diff --git a/python/ql/test/library-tests/ControlFlow/evaluation-order/NewCfgNeverReachable.ql b/python/ql/test/library-tests/ControlFlow/evaluation-order/NewCfgNeverReachable.ql
@@ -1,7 +1,6 @@
 /**
  * New-CFG version of NeverReachable.
  *
- * Original:
  * Checks that expressions annotated with `t.never` either have no CFG
  * node, or if they do, that the node is not reachable from its scope's
  * entry (including within the same basic block).
diff --git a/python/ql/test/library-tests/ControlFlow/evaluation-order/NewCfgNoBackwardFlow.ql b/python/ql/test/library-tests/ControlFlow/evaluation-order/NewCfgNoBackwardFlow.ql
@@ -1,7 +1,6 @@
 /**
  * New-CFG version of NoBackwardFlow.
  *
- * Original:
  * Checks that time never flows backward between consecutive timer annotations
  * in the CFG. For each pair of consecutive annotated nodes (A -> B), there must
  * exist timestamps a in A and b in B with a < b.
diff --git a/python/ql/test/library-tests/ControlFlow/evaluation-order/NewCfgNoSharedReachable.ql b/python/ql/test/library-tests/ControlFlow/evaluation-order/NewCfgNoSharedReachable.ql
@@ -1,7 +1,6 @@
 /**
  * New-CFG version of NoSharedReachable.
  *
- * Original:
  * Checks that two annotations sharing a timestamp value are on
  * mutually exclusive CFG paths (neither can reach the other).
  */
diff --git a/python/ql/test/library-tests/ControlFlow/evaluation-order/NewCfgStrictForward.ql b/python/ql/test/library-tests/ControlFlow/evaluation-order/NewCfgStrictForward.ql
@@ -1,7 +1,6 @@
 /**
  * New-CFG version of StrictForward.
  *
- * Original:
  * Stronger version of NoBackwardFlow: for consecutive annotated nodes
  * A -> B that both have a single timestamp (non-loop code) and B does
  * NOT dominate A (forward edge), requires max(A) < min(B).

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,6 @@`
`1`	`1`	`/**`
`2`	`2`	`* New-CFG version of BasicBlockAnnotationGap.`
`3`	`3`	`*`
`4`		`- * Original:`
`5`	`4`	`* Checks that within a basic block, if a node is annotated then its`
`6`	`5`	`* successor is also annotated (or excluded). A gap in annotations`
`7`	`6`	`* within a basic block indicates a missing annotation, since there`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,6 @@`
`1`	`1`	`/**`
`2`	`2`	`* New-CFG version of BasicBlockOrdering.`
`3`	`3`	`*`
`4`		`- * Original:`
`5`	`4`	`* Checks that within a single basic block, annotations appear in`
`6`	`5`	`* increasing minimum-timestamp order.`
`7`	`6`	`*/`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,6 @@`
`1`	`1`	`/**`
`2`	`2`	`* New-CFG version of ConsecutiveTimestamps.`
`3`	`3`	`*`
`4`		`- * Original:`
`5`	`4`	`* Checks that consecutive annotated nodes have consecutive timestamps:`
`6`	`5`	* for each annotation with timestamp `a`, some CFG node for that annotation
`7`	`6`	* must have a next annotation containing `a + 1`.
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,6 @@`
`1`	`1`	`/**`
`2`	`2`	`* New-CFG version of NeverReachable.`
`3`	`3`	`*`
`4`		`- * Original:`
`5`	`4`	* Checks that expressions annotated with `t.never` either have no CFG
`6`	`5`	`* node, or if they do, that the node is not reachable from its scope's`
`7`	`6`	`* entry (including within the same basic block).`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,6 @@`
`1`	`1`	`/**`
`2`	`2`	`* New-CFG version of NoBackwardFlow.`
`3`	`3`	`*`
`4`		`- * Original:`
`5`	`4`	`* Checks that time never flows backward between consecutive timer annotations`
`6`	`5`	`* in the CFG. For each pair of consecutive annotated nodes (A -> B), there must`
`7`	`6`	`* exist timestamps a in A and b in B with a < b.`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,6 @@`
`1`	`1`	`/**`
`2`	`2`	`* New-CFG version of NoSharedReachable.`
`3`	`3`	`*`
`4`		`- * Original:`
`5`	`4`	`* Checks that two annotations sharing a timestamp value are on`
`6`	`5`	`* mutually exclusive CFG paths (neither can reach the other).`
`7`	`6`	`*/`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,6 @@`
`1`	`1`	`/**`
`2`	`2`	`* New-CFG version of StrictForward.`
`3`	`3`	`*`
`4`		`- * Original:`
`5`	`4`	`* Stronger version of NoBackwardFlow: for consecutive annotated nodes`
`6`	`5`	`* A -> B that both have a single timestamp (non-loop code) and B does`
`7`	`6`	`* NOT dominate A (forward edge), requires max(A) < min(B).`