Wheelodex » Projects » klara

klara

View on PyPI — Reverse Dependencies (1)

0.6.3 klara-0.6.3-py3-none-any.whl

Wheel Details

Project: klara
Version: 0.6.3
Filename: klara-0.6.3-py3-none-any.whl
Download: [link]
Size: 961052
MD5: 53b821fe73535717e7d53c1176586e48
SHA256: 9687fb2503e0d0ae1ecc789d88af46d4008522a89db5d542c9c993ee6d0875d2
Uploaded: 2021-09-19 09:14:03 +0000

dist-info

METADATA · WHEEL · RECORD · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: klara
Version: 0.6.3
Summary: Automatic test case generation and static analysis library
Author: Ho Guo Xian
Author-Email: hogouxian[at]gmail.com
Home-Page: https://github.com/usagitoneko97/klara
Project-Url: Documentation, https://klara-py.readthedocs.io
Project-Url: Repository, https://github.com/usagitoneko97/klara
License: LGPL-3.0-or-later
Keywords: unit test,test generation,static analysis
Classifier: Development Status :: 3 - Alpha
Classifier: Environment :: Console
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Education
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: GNU Lesser General Public License v3 or later (LGPLv3+)
Classifier: Operating System :: MacOS :: MacOS X
Classifier: Operating System :: Microsoft :: Windows
Classifier: Operating System :: POSIX :: Linux
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Topic :: Education :: Testing
Classifier: Topic :: Software Development :: Testing
Classifier: Topic :: Software Development :: Testing :: Unit
Classifier: Typing :: Typed
Requires-Python: >=3.6.2,<4.0
Requires-Dist: ConfigArgParse (<2.0.0,>=1.5.2)
Requires-Dist: astor (<0.9.0,>=0.8.1)
Requires-Dist: typed-ast (<2.0.0,>=1.4.3)
Requires-Dist: z3-solver (<5.0.0,>=4.8.12)
Description-Content-Type: text/markdown
[Description omitted; length: 8647 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry 1.0.4
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
klara/__init__.py sha256=OXYxDrZJKbZYfEz7afHCw6xbwUpR3jnI8IRjSvF4d1I 2350
klara/cli.py sha256=yFA-DiUKj8wlWptxvCyIeN_99pK30EXomGxgf3TAIDs 3870
klara/common/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
klara/common/cfg_common.py sha256=aCdhJrMxGGEORJruSgW_eoNKln6aD2MPcc00azwj80c 2850
klara/common/common.py sha256=J3LYX_fKvdJbGc1vbAspZnvWfXyNolw6u0XBNQmZLeE 2192
klara/contract/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
klara/contract/__main__.py sha256=cL6HZchHce75vv3B5dEDISwkdmh8ARBO4Ft__EQjIGE 2003
klara/contract/config.py sha256=YfD7uTqm1dKwDMvzJolLJHVIvEt5CMFsYvYIFSSwFv4 383
klara/contract/solver.py sha256=SNGrGxnjUpjLgleuC48o6v_OTWjgJRUCpklcjzpA_iQ 9707
klara/core/__init__.py sha256=GHicNICzybS6UBPNywlV64h6sVr8PZgDEkTCrDL96lU 260
klara/core/_ast.py sha256=3xMHJXIrmYucv0VXYDRsdiD57cyquHsHzVPz8HP-n4Y 412
klara/core/base_manager.py sha256=dCYFv7mGmr6aOOw1uo3Zy1IpSO-wodgHMIhSYERa-P8 7004
klara/core/bases.py sha256=nOvqfTdlbJMUjFn2g7ycz3ZHKMjEZcuLQXWpuGpraPk 17817
klara/core/cfg.py sha256=iYQ7XOUeOHfeIfJJ7gjyKJwo8J8iDaHxFUcaGuXDAbo 37393
klara/core/config.py sha256=BMBbG-OYVuG7P2W5YrtdUPTicXcX4EjlJSo5zYekD9U 1175
klara/core/context_mod.py sha256=J-YnIoy2Z3AjEb2meonmCQVc6XCn1GjrWWD8Fj-7G-E 9323
klara/core/decorators.py sha256=ix1lTaMb5HsF8G3UnPm2hu7_WLPrV9lqi7Kzk2iXR28 6114
klara/core/exceptions.py sha256=Jf5dfJyCqJXKr9joymV1PNv6XZQyuMVOvBQcA-P6bi8 3474
klara/core/html/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
klara/core/html/infer_server.py sha256=iuBChqztrXH3KeaICy0PUn6knJXTBDcG10iYNV0T2qQ 1072
klara/core/html/report.py sha256=9_tiz-zVet9TP_Jms_rxBdtkPQws6nViqFO4yEB6X9c 2890
klara/core/inference.py sha256=CSnNUyCdgJTDkBjzNp1tj09uDS-xCEEL0OYCVkR1Kio 68683
klara/core/manager.py sha256=QTJAWRugDyEBVIpBnkIPpde6qVaJpDgu4qIR5Tj9KLU 8552
klara/core/node_classes.py sha256=VG4vcIOiNMmpBEPYQflrFVYnQdPRSAY30qm346oytHA 55234
klara/core/nodes.py sha256=-k-YVlGXLPn_rNabBgaVg4UoaT_Pix43zBdsReVMwn0 1421
klara/core/protocols.py sha256=SyHGU3PANK-48530oNGDIw7H5Kl38DwQeUZ_YcvTR5I 10297
klara/core/raw_building.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
klara/core/recipe.py sha256=2NOAGxxBos3bv4zyFsu2nEXLGSlDXlo994mYmBxkJ6I 967
klara/core/scoped_node_classes.py sha256=czyyoMJDKMyVpVE7dS8-6DdsfNObIF00MGn2OCBkxdw 15978
klara/core/source_utils.py sha256=-B2uH7STrEYqKE25UUtrS2CyLSsojpH2R5Q88wrBfYw 789
klara/core/ssa.py sha256=LOLAdHSBR29ZX2Wl2leCdUy5qbuG44LZqR-kuCpxs-Y 9349
klara/core/ssa_visitors.py sha256=9vEkEhtGTDginjkUBmcNWMyRRw-IecF97el0GEdq8Oo 4343
klara/core/transform.py sha256=zoteVjlYwHDoZaSQLlu-nssI9HjEAWR94fdNpFv9gow 2813
klara/core/tree/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
klara/core/tree/infer_proxy.py sha256=WCRKHud0p2RLi3kDM-k0yb09xfF_mkzI-mfEuS6BKYA 3848
klara/core/tree_rewriter.py sha256=dNpad_yiqR_WZ8QB7NDW4YDT-beLsu0aPsE-K32viqA 25760
klara/core/typeshed/stdlib/2and3/builtins.pyi sha256=jAdoo0bYaPIFlkeQzl3uzK5gmNFdQUdgr38Nuq-3Alc 71682
klara/core/typeshed/stdlib/2and3/math.pyi sha256=RJhdkx1ps6czm8sm-uGH_IgMnX9CeI0s8OLXBgYCFI0 3309
klara/core/use_def_chain.py sha256=iD3zwerYeeZJqxHFo-QDZoFxbg4FWOHoL3wJ15-g1Y0 2271
klara/core/utilities.py sha256=-_3eOdH6lqJU7GHrj0ZKld20BFImpQej_HKNJem1SEU 9899
klara/examples/cover_select_field/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
klara/examples/cover_select_field/cover_select_field.py sha256=wUbuDpkZAs1ILoId3rCYxltH2APLAY4vrjyPkbETtU8 1036
klara/examples/cover_select_field/source.py sha256=39UePDKclnFxnjLxB0VKuMmsfZxdR1gMKSImztUHb4c 116
klara/examples/custom_test_gen.py sha256=oO7Cq5BO1grqZBH1MvjxkBAKD12hTalVcjL4PYuIIWE 1000
klara/examples/extending_inference.py sha256=7mBIUjkkEcVNajDPsyUy1xNyroUfNzgEORmW5RRaGLc 799
klara/examples/extending_transform.py sha256=D3oXPWkkhu5psl6ifn-MFawiBHeNXOo2dDrA1qMCcrE 579
klara/examples/infer_z3.py sha256=DXgaa7Yq4Xbxk_ezpCbmJ7N5DyyAf5wiZEBWetkndvg 1350
klara/examples/simple_inference.py sha256=A49KvD_l9PECKHj5qCyWxq7AIahLV0AxURvJlHRS7hY 450
klara/html/htmlfiles/bootstrap/css/bootstrap-grid.css sha256=R1GSXe1KGXUbB5LRkcwDbBnoC2j_UgVGBcR2mxOjjG8 67472
klara/html/htmlfiles/bootstrap/css/bootstrap-grid.css.map sha256=h0-T00I0mJwQOGJMe3PQZeV2hyxj0GGKNkZVKYzgle0 157643
klara/html/htmlfiles/bootstrap/css/bootstrap-grid.min.css sha256=Ox8H-DLyNLmbsy0unOdOpDT5rBGgsSNHmoiiAYvoK1I 50636
klara/html/htmlfiles/bootstrap/css/bootstrap-grid.min.css.map sha256=ShccoPA4BzSSedt00iUnQfIFw-kzrpFfNgav9nML7wU 115006
klara/html/htmlfiles/bootstrap/css/bootstrap-reboot.css sha256=7o4if_8U8F8pzT376nBLy1R93HsXAbm-Fcv-bSsuvJ0 4800
klara/html/htmlfiles/bootstrap/css/bootstrap-reboot.css.map sha256=qFOMcRi0iP1yV9bs3IiJF0VgFjoXUknGSeJBpWJ6BI8 77215
klara/html/htmlfiles/bootstrap/css/bootstrap-reboot.min.css sha256=2kkMxiKVm_28PqTYiAIS9eN3EjIV3wRubwkpd6cQxH0 3935
klara/html/htmlfiles/bootstrap/css/bootstrap-reboot.min.css.map sha256=XIyF06HHRdUQmW8j7EvIYm2eoxB9-lEebF4mf7rPsOk 32551
klara/html/htmlfiles/bootstrap/css/bootstrap.css sha256=L9fxXhh0DKyukbrb0cy4GeQxzbUQ2K8-70UQCD3i5zM 198240
klara/html/htmlfiles/bootstrap/css/bootstrap.css.map sha256=ButqG-1kTig4Aquw5jNuh9mma9Zf8nnLcSRFQg2FFis 508537
klara/html/htmlfiles/bootstrap/css/bootstrap.min.css sha256=93wNFzm2GO3EoByj9rKZCwGjAJAwr0nujPaOgwUt8ZQ 160392
klara/html/htmlfiles/bootstrap/css/bootstrap.min.css.map sha256=wo9wagfxvO_GQtEWWDZaoNc6DJCCY5eSAY40nrdgWBo 646986
klara/html/htmlfiles/bootstrap/js/bootstrap.bundle.js sha256=U-mDCLgTk8IMb18-fQT-ucvP73uHTPaG2qZU9o7smtE 236517
klara/html/htmlfiles/bootstrap/js/bootstrap.bundle.js.map sha256=YJMOk7ccIv7s6lDK_ajRvOCs1eIKI5Z9XRHs7trBp9A 408140
klara/html/htmlfiles/bootstrap/js/bootstrap.bundle.min.js sha256=jXCJJT3KKcnNjZ3rfsabCj1EX4j2omR4xxm-H5CtywE 84152
klara/html/htmlfiles/bootstrap/js/bootstrap.bundle.min.js.map sha256=uNbbfrF1OXpvmsTSPFLIOPIbJPPqBIGoR6WIGolFaVc 315680
klara/html/htmlfiles/bootstrap/js/bootstrap.js sha256=WdL2tWzdI6gzpVFnFzaxEwIj8WsZD5L1TlHTKQ2DO1g 143686
klara/html/htmlfiles/bootstrap/js/bootstrap.js.map sha256=HBB1WAmY3-442kzuvF8b5tJXMM1cz61xwkKIzAnbW6w 253028
klara/html/htmlfiles/bootstrap/js/bootstrap.min.js sha256=2JaAhvdQnfNMMnhWPauHOZ2k-dzftBmBjjownu3HC4g 63240
klara/html/htmlfiles/bootstrap/js/bootstrap.min.js.map sha256=RE1Ort2xyjPVzw37Xs43LyZPtQieTQ8mgrM_xMfj1x4 191971
klara/html/htmlfiles/coverage_html.js sha256=QjPTfOsaHlb0r4LSCq-q2083HnPqJRg11swI7toFFpA 25593
klara/html/htmlfiles/down.png sha256=pkQ2TQDcEtoE75iPjSGLKQ_-WWSRJsHnt7m-O8czIzU 1933
klara/html/htmlfiles/index.html sha256=X5LmyLqJWAYP8vl89eraBjXmaVdqjiuJD2D29FETRWc 4196
klara/html/htmlfiles/jquery.ba-throttle-debounce.min.js sha256=wXepUsOX1VYr5AyWGbIoAqlrvjQz9unPbtEyM7wFBnw 731
klara/html/htmlfiles/jquery.hotkeys.js sha256=VVqbRGJlCvARPGMJXcSiRRIJwkpged3wG5fQ47gi42U 3065
klara/html/htmlfiles/jquery.isonscreen.js sha256=WEyXE6yTYNzAYfzViwksNu7AJAY5zZBI9q6-J9pF1Zw 1502
klara/html/htmlfiles/jquery.min.js sha256=JCYrqv7xcJKSfD2v52SqpSoqNxuD7SJJzKfkFN-Z-sE 95785
klara/html/htmlfiles/jquery.tablesorter.min.js sha256=t4ifnz2eByQEUafncoSdJUwD2jUt68VY8CzNjAywo08 12795
klara/html/htmlfiles/keybd_closed.png sha256=FNDmw-Lx9aptnMr-XiZ4gh2EGPs17nft-QKmXgilIe0 112
klara/html/htmlfiles/keybd_open.png sha256=FNDmw-Lx9aptnMr-XiZ4gh2EGPs17nft-QKmXgilIe0 112
klara/html/htmlfiles/popper.min.js sha256=UpLmd_5xLICGNBTp5z82eNhtQJ91E5K2gDtwqUn8EBc 19033
klara/html/htmlfiles/pyfile.html sha256=hsWRHrjYLPThJ4bD3V-VxUIbWAtqcmtkvdGi0RuTTZk 5024
klara/html/htmlfiles/style.css sha256=VCALiT4ToatxmQxVGXqo-er1FUbnhb1FgE3ugLrnDio 15002
klara/html/htmlfiles/style.scss sha256=npsiqTT9r7mvRICUV4-L1RL6icmlK6lGjiqnP3ADB_0 17421
klara/html/htmlfiles/up.png sha256=De6JEwEhLNRnCJsbSCj2qVB8KNLC60VL6gokYanhp3Y 1603
klara/html/phystokens.py sha256=aE_Qg7DaORKt2cKvibkTGXmIvJ7ET_PuH2IW5j2Uimg 5178
klara/html/report.py sha256=E9a5kwswTuHDIBB8CvM2Mi4gvv0tNk0jPpAsUD4KWQw 7895
klara/html/templite.py sha256=0NzarRNvjDFgFTL4E_eFDPstTt7j5xZy9-s2d2jzTII 10197
klara/klara_z3/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
klara/klara_z3/cov_manager.py sha256=ZU0F4ss8-6YD_68FmfnCC6nFNdbNWc7Ea3xEPnjqwq8 5403
klara/klara_z3/html/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
klara/klara_z3/html/pyfile_cov.html sha256=NNPCAfnj55a5X6lQL0fhv5rMComqdro2dee3VgRcGRM 4778
klara/klara_z3/html/report.py sha256=7jAgTbQ_HRAFwIeXuDkz0tJhvbcjoO2C2T0I9UF6p-M 1348
klara/klara_z3/inference_extension.py sha256=FWXG8KF9uTBhxP7ZoSu4j7d2xS1lqrXALobIFZjMsas 6056
klara/klara_z3/instance_collector.py sha256=nUTdyorwJDAiSERq2XvnFtH6oMuutcpfrfToK8QbhDM 10922
klara/klara_z3/plugins/99_math_z3.py sha256=xi8lgsy1DDJvKVqZj5oPP7CQae97W4uhiID7D_gfclA 2697
klara/klara_z3/plugins/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
klara/klara_z3/plugins/infer_z3.py sha256=B1Tg5oQ-D-hx2UVlKkJ1uX_5n7fzbdMsKks4Z6yXl1M 4386
klara/klara_z3/z3_nodes.py sha256=bfpug2LpsuXBJiPoegBhBdrskksKgLH4gMK-h6muCpU 9253
klara/plugins/builtin_inference.py sha256=y5VbrnvTKh64Cktlpn3HQXuys3RSOJ8CZdq_6d1xdHw 8957
klara/plugins/typeshed_stub.py sha256=Kounmf2nvpuLNOLHp7kLTWrl0xNJZ29SEZ0GkdNbR3Y 5725
klara/scripts/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
klara/scripts/cover_gen_ins/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
klara/scripts/cover_gen_ins/__main__.py sha256=kWRMl0t2vdr97CgspLH8gqxaNrsWQDWyxkatjkqrvtA 4257
klara/scripts/cover_gen_ins/config.py sha256=SLolrzUdiqgST2wWCm505g6Px07H_7BD4BhO-LkKTZI 679
klara/scripts/cover_gen_ins/default_config.ini sha256=zWLSOla7fUrdtahjJog6Qob4_HpLfOxihe5URzcfAAg 191
klara/scripts/cover_gen_ins/line_fix_solver.py sha256=8QG3kPTcFpje_AOkz5u4qZ3CgJBvBgQjuOei3oZtgBU 4076
klara/scripts/cover_gen_ins/solver.py sha256=mlSE7qbMG6OF7vUga5IQqVqoecKQW8oW8PZtQc5VYTI 5592
klara/scripts/py_check/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
klara/scripts/py_check/__main__.py sha256=TMJFEnSfYrefucfx3mkEayoO-uiRrP7756fwqOBexTs 4087
klara/scripts/py_check/config.py sha256=U5NS7Wfj3kveGoympIxT2OLhBicrE_lsZZl7CbwfX7k 585
klara/scripts/py_check/default_config.ini sha256=mS1sUhZkmj-Lz0YncQgY6_qo_6R2jE_TT18P9stBqGc 97
klara/scripts/py_check/fcf_solver.py sha256=2qtvnKMMVkRsZO5laTOQTvPw_a-Xjdt9nntmDshkj_M 12426
klara/scripts/py_check/html/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
klara/scripts/py_check/html/report.py sha256=x8OG-GzO60eyZY4oGcYMYoArIL0uRTKui77riazlwFM 3473
klara/scripts/py_check/loop_solver.py sha256=BxniAx4LESOu_Rrl81-xKtBMQMkNLz8Y-Ti9UPMXkDo 3672
klara/scripts/py_check/result_banner.py sha256=IpFWoU0e87bs016tXsUjVKC1GssKMKFBlkhdR8S82Ho 308
klara/scripts/py_check/terminal.py sha256=I9dbtt3jjYj9PQEmOFsUApLQzTcZ5B9md9w6FXusqsw 5240
klara/version.py sha256=zYiFHqR7JwbvdK9dvKrh-RTNfUqjHUwC4CTcFAPVYLc 22
klara-0.6.3.dist-info/entry_points.txt sha256=geNO8YcfsxGM7XqnNE3t3B2hPKAk1xcBzBVCP6pySIg 54
klara-0.6.3.dist-info/LICENSE.rst sha256=23eU7pk14nJtvxupXt-zPX_QyBJab89jLNiYYmBFPb8 7843
klara-0.6.3.dist-info/WHEEL sha256=N0LZrBtofpkS5mJXgVHTCEy52Sam4D6PHQWC8HnMeTs 83
klara-0.6.3.dist-info/METADATA sha256=lASqhlqU8yyZbbPh0RyJQGl_dC81d6M8rZwXdkZV628 10154
klara-0.6.3.dist-info/RECORD — —

entry_points.txt

[console_scripts]
klara = klara.contract.__main__:main