Added visual test

dafny-lang · Nov 11, 2024 · 011829c · 011829c
1 parent 99b37f1
commit 011829c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/test/highlight/regression-highlight.dfy b/src/test/highlight/regression-highlight.dfy
@@ -1,3 +1,6 @@
+// This attribute should be colored
+@IsolateAssertions
+
 // Issue #386
 method Test(thisNat: nat, dothis: nat) {
           //^^^^            ^^^^ this should not be highlighted separatedly in blue