C#: Update sign- and modulus analysis expected test output.

Author: michaelnebel

csharp/ql/test/library-tests/dataflow/modulusanalysis/ModulusAnalysis.expected

@@ -153,8 +153,7 @@
 | ModulusAnalysis.cs:92:25:92:25 | access to local variable j | SSA phi(j) | 0 | 0 |
 | ModulusAnalysis.cs:92:29:92:31 | access to parameter cap | SSA param(cap) | 0 | 0 |
 | ModulusAnalysis.cs:92:34:92:34 | access to local variable j | SSA phi(j) | 0 | 0 |
-| ModulusAnalysis.cs:92:34:92:39 | ... + ... | SSA phi(j) | 1 | 0 |
-| ModulusAnalysis.cs:92:34:92:39 | ... = ... | SSA phi(j) | 1 | 0 |
+| ModulusAnalysis.cs:92:34:92:39 | ... += ... | SSA phi(j) | 1 | 0 |
 | ModulusAnalysis.cs:92:39:92:39 | 1 | 0 | 1 | 0 |
 | ModulusAnalysis.cs:93:38:93:38 | access to local variable j | SSA phi(j) | 0 | 0 |
 | ModulusAnalysis.cs:95:22:95:22 | 0 | 0 | 0 | 0 |
@@ -165,12 +164,9 @@
 | ModulusAnalysis.cs:95:34:95:34 | access to local variable k | 0 | 0 | 3 |
 | ModulusAnalysis.cs:95:34:95:34 | access to local variable k | SSA def(k) | 0 | 3 |
 | ModulusAnalysis.cs:95:34:95:34 | access to local variable k | SSA phi(k) | 0 | 0 |
-| ModulusAnalysis.cs:95:34:95:39 | ... + ... | 0 | 0 | 3 |
-| ModulusAnalysis.cs:95:34:95:39 | ... + ... | SSA def(k) | 0 | 3 |
-| ModulusAnalysis.cs:95:34:95:39 | ... + ... | SSA phi(k) | 3 | 0 |
-| ModulusAnalysis.cs:95:34:95:39 | ... = ... | 0 | 0 | 3 |
-| ModulusAnalysis.cs:95:34:95:39 | ... = ... | SSA def(k) | 0 | 3 |
-| ModulusAnalysis.cs:95:34:95:39 | ... = ... | SSA phi(k) | 3 | 0 |
+| ModulusAnalysis.cs:95:34:95:39 | ... += ... | 0 | 0 | 3 |
+| ModulusAnalysis.cs:95:34:95:39 | ... += ... | SSA def(k) | 0 | 3 |
+| ModulusAnalysis.cs:95:34:95:39 | ... += ... | SSA phi(k) | 3 | 0 |
 | ModulusAnalysis.cs:95:39:95:39 | 3 | 0 | 3 | 0 |
 | ModulusAnalysis.cs:96:38:96:38 | access to local variable k | 0 | 0 | 3 |
 | ModulusAnalysis.cs:96:38:96:38 | access to local variable k | SSA def(k) | 0 | 3 |

csharp/ql/test/library-tests/dataflow/signanalysis/SignAnalysis.expected

@@ -52,8 +52,7 @@
 | SignAnalysis.cs:80:13:80:17 | ... = ... | strictlyNegative |
 | SignAnalysis.cs:80:17:80:17 | access to parameter i | strictlyNegative |
 | SignAnalysis.cs:81:13:81:13 | access to local variable x | strictlyNegative |
-| SignAnalysis.cs:81:13:81:18 | ... + ... | strictlyNegative |
-| SignAnalysis.cs:81:13:81:18 | ... = ... | strictlyNegative |
+| SignAnalysis.cs:81:13:81:18 | ... += ... | strictlyNegative |
 | SignAnalysis.cs:81:18:81:18 | access to parameter i | strictlyNegative |
 | SignAnalysis.cs:82:38:82:38 | access to local variable x | strictlyNegative |
 | SignAnalysis.cs:87:21:87:21 | access to parameter i | strictlyNegative |