aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/dialyzer.spec
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dialyzer/test/dialyzer.spec')
-rw-r--r--lib/dialyzer/test/dialyzer.spec14
1 files changed, 14 insertions, 0 deletions
diff --git a/lib/dialyzer/test/dialyzer.spec b/lib/dialyzer/test/dialyzer.spec
new file mode 100644
index 0000000000..c9b7993f24
--- /dev/null
+++ b/lib/dialyzer/test/dialyzer.spec
@@ -0,0 +1,14 @@
+{alias, tests, "."}.
+
+{suites, tests, all}.
+
+{skip_cases, tests, opaque_tests_SUITE, crash,
+ "Dialyzer team is working on this one"}.
+
+{skip_cases, tests, opaque_tests_SUITE, inf_loop1, "Unsupported"}.
+
+{skip_cases, tests, r9c_tests_SUITE, mnesia,
+ "Dialyzer team is working on this one"}.
+
+{skip_cases, tests, small_tests_SUITE, non_existing,
+ "Dialyzer team is working on this one"}. \ No newline at end of file