diff options
| author |  Unknown <afd@afd-THINK> | 2012-09-24 10:38:55 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK> | 2012-09-24 10:38:55 +0100 |
| commit | 07bfca4b8bb403152385b6713be34e2e210f5962 (patch) | |
| tree | ba8ee45cb99697b263f50097d310c6f8c8c2bb7b | |
| parent | 87ac84943ce59bd98704bb0251770c48810e1767 (diff) | |
| parent | 79d1b7a8feb7738fd66c9a659d924070381f584c (diff) | |
Merge
| -rw-r--r-- | Chalice/tests/predicates/LinkedList-various.output.txt | 4 | ||||
| -rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs | 4 |
2 files changed, 7 insertions, 1 deletions
diff --git a/Chalice/tests/predicates/LinkedList-various.output.txt b/Chalice/tests/predicates/LinkedList-various.output.txt new file mode 100644 index 00000000..a8a90bb8 --- /dev/null +++ b/Chalice/tests/predicates/LinkedList-various.output.txt @@ -0,0 +1,4 @@ +Verification of LinkedList-various.chalice using parameters=""
+
+ +Boogie program verifier finished with 0 errors and 0 smoke test warnings
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs index 19f98ff7..ec1514ae 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs +++ b/Util/VS2010/DafnyExtension/DafnyExtension/TokenTagger.cs @@ -227,6 +227,7 @@ namespace DafnyLanguage #region keywords
case "allocated":
case "array":
+ case "as":
case "assert":
case "assume":
case "bool":
@@ -250,7 +251,7 @@ namespace DafnyLanguage case "function":
case "ghost":
case "if":
- case "imports":
+ case "import":
case "in":
case "int":
case "invariant":
@@ -265,6 +266,7 @@ namespace DafnyLanguage case "null":
case "object":
case "old":
+ case "opened":
case "parallel":
case "predicate":
case "print":
|