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

ianb at codespeak.net ianb at codespeak.net
Tue Feb 19 23:19:27 CET 2008


Author: ianb
Date: Tue Feb 19 23:19:26 2008
New Revision: 51656

Modified:
   z3/deliverance/trunk/setup.py
Log:
Added nose test runner, so you can do python setup.py test

Modified: z3/deliverance/trunk/setup.py
==============================================================================
--- z3/deliverance/trunk/setup.py	(original)
+++ z3/deliverance/trunk/setup.py	Tue Feb 19 23:19:26 2008
@@ -77,6 +77,10 @@
       deliverance-handtransform = deliverance.handtransform:main
       deliverance-static = deliverance.staticcommand:main
       """,
+      tests_require=[ 
+          'nose', 
+          ], 
+      test_suite='nose.collector', 
       )
 
 


More information about the z3-checkins mailing list