summaryrefslogtreecommitdiff
path: root/Test/dafny2
diff options
context:
space:
mode:
Diffstat (limited to 'Test/dafny2')
-rw-r--r--Test/dafny2/unsupported/SnapshotableTrees.dfy (renamed from Test/dafny2/SnapshotableTrees.dfy)0
-rw-r--r--Test/dafny2/unsupported/lit.local.cfg2
2 files changed, 2 insertions, 0 deletions
diff --git a/Test/dafny2/SnapshotableTrees.dfy b/Test/dafny2/unsupported/SnapshotableTrees.dfy
index 2c7a91df..2c7a91df 100644
--- a/Test/dafny2/SnapshotableTrees.dfy
+++ b/Test/dafny2/unsupported/SnapshotableTrees.dfy
diff --git a/Test/dafny2/unsupported/lit.local.cfg b/Test/dafny2/unsupported/lit.local.cfg
new file mode 100644
index 00000000..c4c53257
--- /dev/null
+++ b/Test/dafny2/unsupported/lit.local.cfg
@@ -0,0 +1,2 @@
+# Do not run tests in this directory and below
+config.unsupported = True