New directory for bad tests with checks on the error message.

[helm.git] / helm / matita / tests / bad_tests / .depend

diff --git a/helm/matita/tests/bad_tests/.depend b/helm/matita/tests/bad_tests/.depend
new file mode 100644 (file)
index 0000000..79b43d4
--- /dev/null
+++ b/helm/matita/tests/bad_tests/.depend
@@ -0,0 +1,4 @@
+/home/sacerdot/.matita/xml/matita/tests/auto.moo: auto.ma /home/sacerdot/miohelm/matita/coq.moo
+auto.mo: /home/sacerdot/.matita/xml/matita/tests/auto.moo
+/home/sacerdot/.matita/xml/matita/tests/baseuri.moo: baseuri.ma
+baseuri.mo: /home/sacerdot/.matita/xml/matita/tests/baseuri.moo