diff options
| author |  MichalMoskal <unknown> | 2011-01-26 23:30:07 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-01-26 23:30:07 +0000 |
| commit | 34e214d35927c2cf49efdab79d111c67ae283ce7 (patch) | |
| tree | b9e86c3996c13b9cfb192dfa22d434a59d781283 /Source/ModelViewer/VccProvider.cs | |
| parent | 950c133dba480d0ff4e99fe56096feeee95172ae (diff) | |
Allow the provider to skip some states when generating SourceLocations
Diffstat (limited to 'Source/ModelViewer/VccProvider.cs')
| -rw-r--r-- | Source/ModelViewer/VccProvider.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/ModelViewer/VccProvider.cs b/Source/ModelViewer/VccProvider.cs index ff7c6626..4395041f 100644 --- a/Source/ModelViewer/VccProvider.cs +++ b/Source/ModelViewer/VccProvider.cs @@ -125,6 +125,8 @@ namespace Microsoft.Boogie.ModelViewer.Vcc var sn = new StateNode(states.Count, this, s);
states.Add(sn);
}
+
+ GenerateSourceLocations(states);
}
#region Function name scoring
|