diff options
| author |  Ally Donaldson <unknown> | 2013-08-05 21:54:48 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-08-05 21:54:48 +0100 |
| commit | 50fd23bf1f90f41bd016310b7f9682f0ee242f60 (patch) | |
| tree | 5dbb751a6cb8134b3342bcf3149a45146a5452c4 /Source/Predication | |
| parent | ab8d20ab0bda70a920c404538b74f1fea5dfb41c (diff) | |
Minor changes to uniformity analysis and inter-procedural reachability analysis.
Diffstat (limited to 'Source/Predication')
| -rw-r--r-- | Source/Predication/UniformityAnalyser.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Predication/UniformityAnalyser.cs b/Source/Predication/UniformityAnalyser.cs index 3c8f4cd9..040cb227 100644 --- a/Source/Predication/UniformityAnalyser.cs +++ b/Source/Predication/UniformityAnalyser.cs @@ -37,7 +37,7 @@ namespace Microsoft.Boogie /// Simplifies the CFG of the given implementation impl by merging each
/// basic block with a single predecessor into that predecessor if the
/// predecessor has a single successor. If a uniformity analyser is
- /// being used then block will only be merged if they are both uniform
+ /// being used then blocks will only be merged if they are both uniform
/// or both non-uniform
/// </summary>
public static void MergeBlocksIntoPredecessors(Program prog, Implementation impl, UniformityAnalyser uni)
|