Changes between Version 3 and Version 4 of PointsToAnalysis

Timestamp:

02/15/16 15:00:31 (10 years ago)

Author:

zmanchun

Comment:

--

PointsToAnalysis

@@ -51 +51 @@
     }
     }}}
-    A precise analysis should say that: 
+    A precise analysis should say that: \\
    `obj(a[0])={b[0]}`\\
    `obj(a[1])={b[1]}`\\
    ...\\
-   but a less-precise analysis could say that:
+   but a less-precise analysis could say that:\\
    `obj(a[0])={b[0], b[1], ...}`\\
    `obj(a[1])={b[0], b[1], ...}`\\