diff options
| author |  MichalMoskal <unknown> | 2011-02-21 21:53:07 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-21 21:53:07 +0000 |
| commit | 86e9b76cd4b6932cdd20c0d5aaf298c849114d72 (patch) | |
| tree | 8b38de2ef3ecf3a9487f87ea5b1b2237d227e306 /Source/ModelViewer/VccProvider.cs | |
| parent | 4e63ab8b3795ddf2e284b65d8e67724668891482 (diff) | |
Add some ExpertLevel functions
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 1bdf89da..8953dca5 100644 --- a/Source/ModelViewer/VccProvider.cs +++ b/Source/ModelViewer/VccProvider.cs @@ -225,6 +225,8 @@ namespace Microsoft.Boogie.ModelViewer.Vcc "$is_claimable",
"$set_cardinality", "$set_difference", "$set_union",
"$thread_local", "$unchecked", "$writes_at",
+ "$array_range", "$arrays_disjoint",
+ "$byte_ptr_subtraction",
},
new string[] {
|