crosshair/__init__.py,sha256=fDVFBqSlCOC-nsRN-SNya5RFXhqfJqtniYBA6Vv62bg,777
crosshair/__main__.py,sha256=zw9Ylf8v2fGocE57o4FqvD0lc7U4Ld2GbeCGxRWrpqo,252
crosshair/_preliminaries_test.py,sha256=4k80D_jL6ezrpTW0ML6T8Smpr8x89xAI_zjCP85Vg8Y,692
crosshair/abcstring.py,sha256=vCY8JMRAC9Z9mRmBxpUBlb6MMnv5erFMgz6pPz-bRv4,6596
crosshair/auditwall.py,sha256=p7IzMN10wrb2RiUxFJDzKCT1a9Z9wVwZQOb4mgvsCLo,4253
crosshair/auditwall_test.py,sha256=r6unh53pBqHOtCP0FiYu8hOQ6igDLJGySNxAl-bJxzc,2014
crosshair/codeconfig.py,sha256=6mCv4mkkDJ5V8vE8trJ6_RoXTPGJ4faH9TExMNUaQJg,3639
crosshair/codeconfig_test.py,sha256=7KCrYr0SWpi-ornkOec-m84KAO_6C-2jkEJ0lJ-1Q9M,3112
crosshair/condition_parser.py,sha256=hrlMI36n2U-bIS3khal56_fMar9CdhOiiLRgDavkMLQ,45257
crosshair/condition_parser_test.py,sha256=H4K36hfUK1hXouwzhLbWNr8_TpJcQsDRu1cCVnFV3hc,16647
crosshair/conftest.py,sha256=ENZRagKfDiMoxp4DfaTZd1oRXJRpuP63n3EiPPBH6CI,340
crosshair/copyext.py,sha256=L9Q9iRmOCOVMzu8JPTIs8E7yHDchFMRTMNJo1ytit1g,2707
crosshair/copyext_test.py,sha256=0J1uRSPWwqPiGD_DZWUYs8iCwNqC2HtnwY3-Kfc4Jbk,1662
crosshair/core.py,sha256=mCqB0mzKcxtn6DB2LrZZQmppQiEioVQQV_M4cQ9VXeI,54483
crosshair/core_and_libs.py,sha256=GiXfEuzsaw908XsbiynS06hC3PTyd-uvQGmMVYsk6AY,3592
crosshair/core_test.py,sha256=j2DYIa5SQo-R5bwNxM2F3pSO6OACu9Cf9yrumD_wyEg,34503
crosshair/diff_behavior.py,sha256=9qymqhg6SpEf78CLh2kV408tFN8Ns4SpgqvDOiF0gwE,8243
crosshair/diff_behavior_test.py,sha256=ciepgnhGg5EYN51_7OiedbEeCZ1oQKZxGCOOzOsvlDU,4019
crosshair/doctests_test.py,sha256=IwFN52HXKAEPRsA0n8AGT07Gq3d-6S0jiJK7r-sNRlo,500
crosshair/dynamic_typing.py,sha256=lrmnAPRw6c6nKieBAV4QVF5ditvT7k9b3IY6ihbn2LM,6298
crosshair/dynamic_typing_test.py,sha256=FxEUG78Tld-AHlb-tCkRW62rzV91ApThXrc_pmPmJs8,2954
crosshair/enforce.py,sha256=JpOl4oISSJfj1lc4Xuf8y0wgpOMZ9vDJMhInCNhsC3A,9300
crosshair/enforce_test.py,sha256=8VA5BpYh3Sk1WkFDCJ_f9nt-fxWI1R82M0uppLhF6qE,4948
crosshair/fnutil.py,sha256=e22fD4YqLSGXPFvQE0zKhEAU0iOW4YyRYUUPvLZpFuU,12410
crosshair/fnutil_test.py,sha256=s0w7AvQTFwW0mxj0Ju2ZSve90ufG7NmbgfcjJlzy-Xw,2094
crosshair/fuzz_core_test.py,sha256=JvTYuI_iJI7bkHHH1jw0Uw4DgORiZJmOEm-JRtyQEz8,17811
crosshair/main.py,sha256=jIUveGXifT0eTu2GuXwYoeDagYpKudD5E0Gql8LCt0U,24170
crosshair/main_test.py,sha256=JfjibmAWC5879wwji8HRRnOT_pvFP3E_UV8O35N-e48,15115
crosshair/objectproxy.py,sha256=SnuE8Wzd7fjsxYVwIOTLoRfPqkUqfHzYnTwKpQ0jllE,8882
crosshair/objectproxy_test.py,sha256=WnpT2y_Jik1iJ7v5IT4wu9YVkuDt_vSaw54Pqqsa18o,682
crosshair/opcode_intercept.py,sha256=0B_ZtsaR6zzki5z1VobhEKFCvUv_JBwJ7cGu4pyEElc,8205
crosshair/opcode_intercept_test.py,sha256=0vcwJN0v5uRcr_odkE-9IELo6XRouUOnOHGsUPOd8xo,2033
crosshair/options.py,sha256=wpEmyNtI9zbyljOwBaLSUuoCO0RchkSmfOeV_V6os0A,5496
crosshair/options_test.py,sha256=lzA-XtwEwQPa4wV1wwhCRKhyLOvIhThU9WK5QRaRbxQ,379
crosshair/patch_equivalence_test.py,sha256=m2Pqrsi5Eao5aJvgiRRLG30bL78L0SykdTfA4_xhetc,2694
crosshair/path_cover.py,sha256=8lD29IWExTrlD3EShnPrSdbW0H965o9WMsr1yj4UIPI,5672
crosshair/path_cover_test.py,sha256=JUVY9tuWiLyjy6HsPdLcwn5hZiqDyZf5rHUhJHMlQZg,1111
crosshair/pure_importer.py,sha256=pt4y2Sz8m2ySt4vE5l2tUW5gsO3Y5JZ4SaQYzXY-0X8,919
crosshair/pure_importer_test.py,sha256=si7toElEF7fhedcuUBfsWBNSLKTJrNeuqdPWfvW2KAQ,781
crosshair/register_contract.py,sha256=4dzj7VO1Sb2VVoTq2XX5cMWvXgNN3E5my9bLEPkdOmQ,10645
crosshair/register_contract_test.py,sha256=V3DKSd0EeXKGbTJdZFoaspM5HwLGHucNgVDN4vqPD4I,5836
crosshair/simplestructs.py,sha256=soc1AnqecUnQ5vpKiXcUCQ5sWMjaqBlWOGQ-KBIq65M,27423
crosshair/simplestructs_test.py,sha256=Ail5Eix0IDsREtpw0QkQ7t5J5hh6Lv0U_vGxwm1ATxw,8310
crosshair/statespace.py,sha256=VJcRt9ec_Mozy0DhFxwHOp4Fns-bqOQtjCdUmQ4mQsQ,35302
crosshair/statespace_test.py,sha256=s-Ijg4AL4s97MZJTn9Gf5wBlyX54Zp1NZcSEKLUJZ2k,1552
crosshair/stubs_parser.py,sha256=mNYqtyYuRiaYAL9P0142M3USqf3OhTo0_L3lkg8xcdc,14237
crosshair/stubs_parser_test.py,sha256=p-5QdNjbSLLf6rEIc-JKsVluYiDhGhOxbPhIrcMff80,1750
crosshair/test_util.py,sha256=ejN_30KtdS8YCCZngs2Xn8bq8qrPzzFxH8NtP74OYQE,9024
crosshair/tracers.py,sha256=I_PvEc4FWuwVUZ5F7gzPRcjOBHlzoE6Bc8hOjIC25_c,15885
crosshair/tracers_test.py,sha256=A8Q-rprVHuDzVY92r2K4W_S6aPZzJ8-9hIfvY413fDg,1204
crosshair/type_repo.py,sha256=AenXNGK1dm9tbqTXYCnmctg71psuiy0W8z7WmIlq6xM,4102
crosshair/unicode_categories.py,sha256=S8ycnN8DExw7rpIPMpxewjgMxQdL_wgpVQjrd_duwl0,147556
crosshair/unicode_categories_test.py,sha256=ZAU37IDGm9PDvwy_CGFcrF9Waa8JuUNdI4aq74wkB6c,739
crosshair/util.py,sha256=nlTfs8GpgcNk4L0yaH2Y832Xt0oJtqSsNDMJ4ZrgHx4,15449
crosshair/util_test.py,sha256=wrXy7MyagKY-NcHN8nAmg2tNOnb939P1F1Ts4vlX5gw,4574
crosshair/watcher.py,sha256=XZA3Valo315glQCHBUEV1O1sbKI5Ldkm8qFJM9gDDfE,8136
crosshair/watcher_test.py,sha256=nVENIl_azpZ7D7E1bzAHza1fkoLD5dS4hQ3NL7hj6EU,1837
crosshair/z3util.py,sha256=U_F1l0CY0rCan8Fmt03cyyy57JZlD5fXP9eizoHXazQ,515
crosshair/z3util_test.py,sha256=CZovn4S9mYcG_yQegcxm80VHrvUdvNei0gvGTF9TOrk,173
crosshair/examples/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
crosshair/examples/check_examples_test.py,sha256=XIpooQs1twS2AzStNGSeExOQfeCUUCqYfnsEoeUmEIU,4126
crosshair/examples/PEP316/__init__.py,sha256=xFN0GsSePrM6v5pnBblCaZRYhghumzEaw7RggmCfyb8,74
crosshair/examples/PEP316/bugs_detected/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
crosshair/examples/PEP316/bugs_detected/getattr_magic.py,sha256=VINiwVnG5eslLwJPnRPzCdBakLenv3kGAYfHH4jZkKY,358
crosshair/examples/PEP316/bugs_detected/hash_consistent_with_equals.py,sha256=TkCZQOxWtvMbnDsSejA_nGUtNHowgvnzciiN5OF-gMw,732
crosshair/examples/PEP316/bugs_detected/showcase.py,sha256=efWICrQ12HCMnwLOUpmOsxJ3oNrqVEdkmr7Ns1NAaWw,1036
crosshair/examples/PEP316/correct_code/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
crosshair/examples/PEP316/correct_code/arith.py,sha256=88ne6ZcunHh8BWIkTtfabEeOIvCwn7ABzQm6Jas8CQw,1515
crosshair/examples/PEP316/correct_code/chess.py,sha256=ag4iJIaoA7nm4MtgyRpSWdtdP7olTl_hPLjEOL8AfhI,2067
crosshair/examples/PEP316/correct_code/nesting_inference.py,sha256=Moez9Ov2gfmzZVpyC9Sho_sRNJ82GI8KmXpvGDJ76zk,335
crosshair/examples/PEP316/correct_code/numpy_examples.py,sha256=CTvLCN4tDUGHDPzriEGbukzEfCaBbDfVsscRs9F9sBI,4001
crosshair/examples/PEP316/correct_code/rolling_average.py,sha256=MDHf-WtBvchdT7NAXFV1ovMkU31IBju47__vZizYvWk,705
crosshair/examples/PEP316/correct_code/showcase.py,sha256=PoeFnOTlQGoG7Lc6maoHP1nTBCZPUi3hjw10Y8RsFcw,2672
crosshair/examples/deal/__init__.py,sha256=_FIpw2zxnwXMtv5yYWxY6cVV0kQS-luvkXxEtiBvaOM,71
crosshair/examples/hypothesis/__init__.py,sha256=FQDuhsvLxm_lWgMqXy6g6PGRmH85R1HFa8wcOgGypVI,108
crosshair/examples/hypothesis/bugs_detected/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
crosshair/examples/hypothesis/bugs_detected/simple_strategies.py,sha256=d5T4iJiN9jPBHF7STEizD3e-2epgKHsgkmOejAqNiJw,1755
crosshair/examples/icontract/__init__.py,sha256=Q6mmiRFiCWCbLXFxSSL4e8HXKej3c8GJ0Kqp-KRj61Q,76
crosshair/examples/icontract/bugs_detected/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
crosshair/examples/icontract/bugs_detected/showcase.py,sha256=L4iL1JCWCpOISbEc5yce5bW_Th5eAjYVKRzsykb7m9M,1248
crosshair/examples/icontract/bugs_detected/wrong_sign.py,sha256=afnirsfgV8uNFT-G_FlIbUFy7lV0jYCMPl9G2Dm5ayA,196
crosshair/examples/icontract/correct_code/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
crosshair/examples/icontract/correct_code/arith.py,sha256=6zXJ1A_g368JTkfaljI-y8xuknTzBPrtsJ4Qia9kqlI,1507
crosshair/examples/icontract/correct_code/showcase.py,sha256=HzHt_9LEeFWv4UqFq3xwW211Zx6swWihby4B27G8ljw,3027
crosshair/libimpl/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
crosshair/libimpl/arraylib.py,sha256=0PA07axNrj8RSn5ngsFDMyP2S4hShumyeEEG5ErAtco,4790
crosshair/libimpl/builtinslib.py,sha256=KET0i5qlnDLeybMKP_91Qtzq8GJ7Ya0ldNV4S3qZta0,143441
crosshair/libimpl/builtinslib_ch_test.py,sha256=-K1ZPR2tf02FpXa-ISpuf-8MS-b61k0CSd_8iVs0Xaw,25038
crosshair/libimpl/builtinslib_test.py,sha256=ekYayAs466Usu-bkTApRAQcqDDJrP2KgtCv-FQ3WQcg,71526
crosshair/libimpl/codecslib.py,sha256=x4OXLBnh_uZceZE9JIQta8oegV1vrUaKLijQ2CflrNA,1799
crosshair/libimpl/codecslib_test.py,sha256=yVD7YqHgozU_bzFKZO4C8N1Bs9mpFImTHYOuyjtQt94,1761
crosshair/libimpl/collectionslib.py,sha256=YzMCGbJKGxah7jT8Am456plYptcooy-8NcG97oPkv1I,7155
crosshair/libimpl/collectionslib_ch_test.py,sha256=fvZE1AgxxA_FaXkoGjdD97LPACg3iFaVjE11UkbKIu8,5915
crosshair/libimpl/collectionslib_test.py,sha256=jnOB_yFtLvdhUp4vD6-ry8_kex2jKkTt4D4fTLsYc5U,6188
crosshair/libimpl/copylib.py,sha256=yxNAMfw4WZoQsUQcC8H4XS8fCkLxXmPRireS5GWvClE,527
crosshair/libimpl/datetimelib.py,sha256=tzwDxVqtimNKj_4mXLJmXxK0EOOYzwGNYBC09cAOEs4,77825
crosshair/libimpl/datetimelib_ch_test.py,sha256=hpFZZvnpDezYRK1dAk6jqwbRoSsEiIAT3G0wxjlHt4E,8681
crosshair/libimpl/datetimelib_test.py,sha256=ji3MZCyX4vv1gxy4UJDFjh6e_odnUPiY8a5o67NpO24,2989
crosshair/libimpl/encodings_ch_test.py,sha256=mciBtZUsMKnpQAdpanZcewrHAoq6sIPTStmH6LuYNz8,2583
crosshair/libimpl/iolib.py,sha256=3suc4WyTdGWoqSxcoD4kLn_NkOZ38EUVxrGOZeNGNp4,6082
crosshair/libimpl/iolib_ch_test.py,sha256=gXeVE8gRaMXOZBIAjnWQ1gIMlMGk9Wyly84TpUwYac8,4088
crosshair/libimpl/jsonlib.py,sha256=HOg-4pIgRQ0uFMbB9bTvW8mKOUDfqD55AqtYO0e8UAw,2212
crosshair/libimpl/jsonlib_ch_test.py,sha256=6V7zw40awEh7ubaWmlAX-6J-Yqd-A6ocF3q1rof89KI,1374
crosshair/libimpl/jsonlib_test.py,sha256=T_9q4-_XK1cSDXV-4NIheQH1AoxjUWcINOQBWm5NR9g,316
crosshair/libimpl/mathlib.py,sha256=ZqqhQ0H8QFaDhqQQK0fP6ILBzcK2W94Mu25PJJ1DHI8,357
crosshair/libimpl/mathlib_test.py,sha256=Ky1BAlfKfF9Qhd_rv9nq96ERQojprrysRzJV7Rzwkvc,685
crosshair/libimpl/randomlib.py,sha256=loyhlbRBJEs32kKFv_1O5PxKQU47F5kCz54OaNVuzUk,6161
crosshair/libimpl/randomlib_test.py,sha256=9xKUUIi3c7Ktj1Tpjzw70KLj4lHJwr6VO7R0ter2SUs,2350
crosshair/libimpl/relib.py,sha256=kHCpam03aCP2h_sICRwYztErF9EJRbKvMTI9kQkPneA,25068
crosshair/libimpl/relib_ch_test.py,sha256=6_XeMY_C4LWZUv82OF1B_QvaxbdWbY7WUC3FaKMkPKI,4061
crosshair/libimpl/relib_test.py,sha256=Jk7Lrc83qNMO10FnPFcQGMBzPmzGEMwyyfcUMaazFuI,15542
crosshair/libimpl/timelib.py,sha256=piSFe-GhhMTU9kJN1aiPxmeVM4rWN09HCbxJfY3Uv8c,1719
crosshair/libimpl/timelib_test.py,sha256=X_bR7TmWNO52-c35fHL2kgaBzG5myzFnuaKnvm0oW-I,1081
crosshair/libimpl/unicodedatalib.py,sha256=aYnAb_ukL5DXncO5Z3oA1dqUSrGJW8-wHW1CyeCK6TI,2025
crosshair/libimpl/unicodedatalib_test.py,sha256=CJkAbiu8_2uhvjDIoYi3IJ8Nb_8sdjKVNvNhJCgPbZ0,1442
crosshair/libimpl/encodings/__init__.py,sha256=LDnVuhps1a6v_5kGe_jh3xe15oY8NVf-gCn_oOAv6X4,608
crosshair/libimpl/encodings/_encutil.py,sha256=cZYwQJVFdumytQmFBp4JcClshKcu6Vk0Ya2BcL8_jQI,6580
crosshair/libimpl/encodings/ascii.py,sha256=qMrSjR4TgU4qOiJf8OfgJ1k-qVSy-N6S6xWLgtUMSrM,1354
crosshair/libimpl/encodings/latin_1.py,sha256=y4n8c7pclWMBfdvc5Gs6hTA0oWzGCQDLUiiAU9Gy06w,1201
crosshair/libimpl/encodings/utf_8.py,sha256=30ufs5E05FSDNw5nQNQBrnAMaPx4mbI9jez16jU_drE,3164
crosshair_tool-0.0.24.dist-info/LICENSE,sha256=8IhVQftDzA6rucymblwVoRkKfvXH4P0SF0kkbZ8O814,3866
crosshair_tool-0.0.24.dist-info/METADATA,sha256=ee3jO0rtBysB28KGIsOk2Pa2sJoNl1IKZL0WcBcuDDk,4621
crosshair_tool-0.0.24.dist-info/WHEEL,sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA,92
crosshair_tool-0.0.24.dist-info/entry_points.txt,sha256=eXcqsd_bvooL5pd54pFJfZRwG4alJ9uxXxZknE8jkgM,97
crosshair_tool-0.0.24.dist-info/top_level.txt,sha256=BQNXp5I4lNbr5DwUiccoHCaHM0w7M-kcOiW1eygN1U4,10
crosshair_tool-0.0.24.dist-info/RECORD,,
