[z3-checkins] r34686 - z3/deliverance/trunk/deliverance

[ianb at codespeak.net]

Author: ianb
Date: Thu Nov 16 19:17:40 2006
New Revision: 34686

Modified:
   z3/deliverance/trunk/deliverance/tests.py
Log:
Add some nose options that I like (also find doctests)

Modified: z3/deliverance/trunk/deliverance/tests.py
==============================================================================
--- z3/deliverance/trunk/deliverance/tests.py	(original)
+++ z3/deliverance/trunk/deliverance/tests.py	Thu Nov 16 19:17:40 2006
@@ -110,6 +110,13 @@
 
 
 def main(args=None):
+    # Kind of a crude way to pass info to nose...
+    os.environ.update(dict(
+        NOSE_WHERE=os.path.dirname(__file__),
+        NOSE_DETAILED_ERRORS='t',
+        NOSE_WITH_DOCTEST='t',
+        NOSE_DOCTEST_EXTENSION='.txt',
+        NOSE_WITH_MISSING_TESTS='t'))
     import nose; nose.main() 
 
 if __name__ == '__main__':