diff options
| author |  MichalMoskal <unknown> | 2010-11-09 01:31:30 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-11-09 01:31:30 +0000 |
| commit | 48130b22b197754f03f27a1da1f1c70d47d65900 (patch) | |
| tree | d2c570cac971014e6096ab51e14f2cde2d022cd2 /Source/ModelViewer/DafnyProvider.cs | |
| parent | ea1898f88e2edcecf3a58923fcd1a5d2b87219a8 (diff) | |
Implement different levels of view (normal, expert, etc).
Display functions and pointer sets in VCC
Diffstat (limited to 'Source/ModelViewer/DafnyProvider.cs')
| -rw-r--r-- | Source/ModelViewer/DafnyProvider.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ModelViewer/DafnyProvider.cs b/Source/ModelViewer/DafnyProvider.cs index cbb4e424..56ecd5e5 100644 --- a/Source/ModelViewer/DafnyProvider.cs +++ b/Source/ModelViewer/DafnyProvider.cs @@ -17,7 +17,7 @@ namespace Microsoft.Boogie.ModelViewer.Dafny return m.TryGetFunc("$$Language$Dafny") != null;
}
- public ILanguageSpecificModel GetLanguageSpecificModel(Model m)
+ public ILanguageSpecificModel GetLanguageSpecificModel(Model m, ViewOptions opts)
{
var dm = new DafnyModel(m);
foreach (var s in m.States) {
|