Added tests for optional dependency of pycosat

bin/test_travis.sh

@@ -150,6 +150,10 @@ test_list = [
 
     # cloudpickle
     'pickling',
+
+    # pycosat
+    'sympy/logic/',
+    'sympy/assumptions',
 ]
 
 blacklist = [
@@ -187,6 +191,9 @@ doctest_list = [
 
     # codegen
     'sympy/codegen/',
+
+    # pycosat
+    'sympy/logic',
 ]
 
 if not (sympy.test(*test_list, blacklist=blacklist) and sympy.doctest(*doctest_list)):
@@ -227,6 +234,15 @@ EOF
     unset USE_SYMENGINE
 fi
 
+if [[ "${TEST_OPT_DEPENDENCY}" == *"pycosat"* ]]; then
+    cat << EOF | python
+print('Testing PYCOSAT')
+import sympy
+if not (sympy.test('sympy/logic', 'sympy/assumptions') and sympy.doctest('sympy/logic'):
+    raise Exception('Tests failed')
+EOF
+fi
+
 if [[ "${TEST_SYMPY}" == "true" ]]; then
     # -We:invalid makes invalid escape sequences error in Python 3.6. See
     # -#12028.