nosetests.json

{"modules": [{"testcases": [{"result": "success", "name": "test_get_verbosity_level"}], "nr_error": 0, "nr_success": 1, "name": "k64_pll_calculator.tests.TestCLI", "nr_failed": 0}, {"testcases": [{"result": "success", "name": "test_pll_except_on_get_with_invalid_param"}, {"result": "success", "name": "test_pll_init"}, {"result": "success", "name": "test_k64_pll_calculator_impossible_solution"}, {"result": "success", "name": "test_k64_pll_calculator_returns_model_string"}, {"result": "success", "name": "test_k64_pll_calculator_serialize"}, {"result": "success", "name": "test_k64_pll_calculator_works_on_known_solution"}, {"result": "success", "name": "test_pll_unsolved_model_access"}], "nr_error": 0, "nr_success": 7, "name": "k64_pll_calculator.tests.TestPLLSolver", "nr_failed": 0}], "metadata": {"command": "/home/cwoodall/workspace/z3-pll-finder/venv/bin/nosetests --with-json-extended", "cwd": "/home/cwoodall/workspace/z3-pll-finder", "time": 1476559870.355891}}