Comment out pdb statements so tests run end-to-end, and update README.

emjun · Mar 15, 2019 · dab97272645908269c3f7ae186b5503a3d7cc895 · dab9727
1 parent 1dd6411
commit dab97272645908269c3f7ae186b5503a3d7cc895
Unified Split

Showing with 5 additions and 7 deletions.

+3 −5 README.md

+2 −2 tests/integration_tests/test_integration.py
diff --git a/README.md b/README.md
@@ -8,11 +8,9 @@ Tea is a domain specific language for expressing the assertions and intentions/g
 ## How do I use Tea?
 Make sure that you have Python 3.7, pip (for Python 3.7), and pipenv (for Python 3.7) installed. 
 Start a pipenv: `pipenv shell`
-  
-From inside your environment, download all dependencies from Pipfile (`pipenv update`)
-  
-Add Tea to your Python path by creating .env file that has the following one-liner in it: PYTHONPATH=${PYTHONPATH}:${PWD}
-  
-Open up a terminal with a Python interpreter running. Then `import tea` and voila! 
-  
-Have fun :)
-  
-To run test: `pytest tests/integration_tests/test_integration.py`
+  
+From inside your environment, download all dependencies from Pipfile (`pipenv update`). This will take awhile because it builds Z3.
+  
+Add Tea to your Python path by creating `.env` file that has the following one-liner in it: `PYTHONPATH=${PYTHONPATH}:${PWD}`
+  
+To run tests and see output, run: `pytest tests/integration_tests/test_integration.py -s`
 The main code base is written in Python and lives in the `tea` directory. The `tests` directory is used for developing and debugging and uses datasets in the `datasets` directory. Not all the datasets used in `tests/test_tea.py` are included in the `datasets` repository. 
 `tea/solver.py` contains the constraint solving module for both tests -> properties and properties -> tests.

diff --git a/tests/integration_tests/test_integration.py b/tests/integration_tests/test_integration.py
@@ -43,7 +43,7 @@ def test_indep_t_test():
    tea.assume(assumptions)
    tea.hypothesize(['So', 'Prob'])
-  
-    import pdb; pdb.set_trace()
+  
+    # import pdb; pdb.set_trace()
 def test_get_props():
    variables = [
@@ -73,7 +73,7 @@ def test_get_props():
    tea.divine_properties(vars=['So', 'Prob'], tests=['students_t', 'chi_square'])
    tea.divine_properties(vars=['So', 'Prob'], tests=['students_t', 'mannwhitney_u'])
-  
-    import pdb; pdb.set_trace()
+  
+    # import pdb; pdb.set_trace()