Disabled multiprocessing in nosetests. This fixes pysmt#633

Author: mikand

run_all_tests.sh

@@ -17,12 +17,12 @@
 #   limitations under the License.
 #
 
-export NOSE_PROCESSES=4
-export NOSE_PROCESS_TIMEOUT=360
+#export NOSE_PROCESSES=-1
+#export NOSE_PROCESS_TIMEOUT=360
 export PYTHONDONTWRITEBYTECODE=True
 
 # Exit on error (-x)
 # Rule of thumb: if a test takes more than 10 seconds it
 #                should be marked as slow using:
 #                    @attr("slow")
-nosetests -v -x
+python3 -m nose -v -x pysmt/test

run_tests.sh

@@ -17,13 +17,13 @@
 #   limitations under the License.
 #
 
-export NOSE_PROCESSES=4
-export NOSE_PROCESS_TIMEOUT=240
+#export NOSE_PROCESSES=-1
+#export NOSE_PROCESS_TIMEOUT=240
 export PYTHONDONTWRITEBYTECODE=True
 
 # Skip slow tests (-A "not slow")
 # Exit on error (-x)
 # Rule of thumb: if a test takes more than 10 seconds it
 #                should be marked as slow using:
 #                    @attr("slow")
-nosetests -v -A "not slow" -x pysmt/test
+python3 -m nose -v -A "not slow" -x pysmt/test