README.md
setup.py
crosshair/__init__.py
crosshair/__main__.py
crosshair/_preliminaries_test.py
crosshair/abcstring.py
crosshair/auditwall.py
crosshair/auditwall_test.py
crosshair/codeconfig.py
crosshair/codeconfig_test.py
crosshair/condition_parser.py
crosshair/condition_parser_test.py
crosshair/conftest.py
crosshair/core.py
crosshair/core_and_libs.py
crosshair/core_test.py
crosshair/diff_behavior.py
crosshair/diff_behavior_test.py
crosshair/doctests_test.py
crosshair/dynamic_typing.py
crosshair/dynamic_typing_test.py
crosshair/enforce.py
crosshair/enforce_test.py
crosshair/fnutil.py
crosshair/fnutil_test.py
crosshair/fuzz_core_test.py
crosshair/main.py
crosshair/main_test.py
crosshair/objectproxy.py
crosshair/objectproxy_test.py
crosshair/options.py
crosshair/options_test.py
crosshair/patch_equivalence_test.py
crosshair/run_functional_tests.py
crosshair/simplestructs.py
crosshair/simplestructs_test.py
crosshair/statespace.py
crosshair/test_util.py
crosshair/type_repo.py
crosshair/util.py
crosshair/util_test.py
crosshair/examples/__init__.py
crosshair/examples/PEP316/__init__.py
crosshair/examples/PEP316/bugs_detected_fast/__init__.py
crosshair/examples/PEP316/bugs_detected_fast/getattr_magic.py
crosshair/examples/PEP316/bugs_detected_fast/hash_consistent_with_equals.py
crosshair/examples/PEP316/bugs_detected_fast/showcase.py
crosshair/examples/PEP316/correct_code/__init__.py
crosshair/examples/PEP316/correct_code/arith.py
crosshair/examples/PEP316/correct_code/chess.py
crosshair/examples/PEP316/correct_code/immutable_class.py
crosshair/examples/PEP316/correct_code/nesting_inference.py
crosshair/examples/PEP316/correct_code/numpy_examples.py
crosshair/examples/PEP316/correct_code/rolling_average.py
crosshair/examples/PEP316/correct_code/showcase.py
crosshair/examples/icontract/__init__.py
crosshair/examples/icontract/bugs_detected/__init__.py
crosshair/examples/icontract/bugs_detected/showcase.py
crosshair/examples/icontract/bugs_detected/wrong_sign.py
crosshair/examples/icontract/correct_code/__init__.py
crosshair/examples/icontract/correct_code/arith.py
crosshair/examples/icontract/correct_code/showcase.py
crosshair/libimpl/__init__.py
crosshair/libimpl/builtinslib.py
crosshair/libimpl/builtinslib_ch_test.py
crosshair/libimpl/builtinslib_test.py
crosshair/libimpl/collectionslib.py
crosshair/libimpl/collectionslib_test.py
crosshair/libimpl/datetimelib.py
crosshair/libimpl/datetimelib_test.py
crosshair/libimpl/mathlib.py
crosshair/libimpl/mathlib_test.py
crosshair/libimpl/randomlib.py
crosshair/libimpl/relib.py
crosshair/libimpl/relib_test.py
crosshair_tool.egg-info/PKG-INFO
crosshair_tool.egg-info/SOURCES.txt
crosshair_tool.egg-info/dependency_links.txt
crosshair_tool.egg-info/entry_points.txt
crosshair_tool.egg-info/requires.txt
crosshair_tool.egg-info/top_level.txt