testgenie-py 0.2.2__py3-none-any.whl → 0.2.4__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- testgen/.coverage +0 -0
- testgen/analyzer/ast_analyzer.py +4 -1
- testgen/analyzer/fuzz_analyzer.py +2 -2
- testgen/analyzer/random_feedback_analyzer.py +3 -3
- testgen/analyzer/test_case_analyzer.py +2 -0
- testgen/code_to_test/__init__.py +0 -0
- testgen/code_to_test/boolean.py +146 -0
- testgen/code_to_test/calculator.py +29 -0
- testgen/code_to_test/code_to_fuzz.py +234 -0
- testgen/code_to_test/code_to_fuzz_lite.py +397 -0
- testgen/code_to_test/decisions.py +57 -0
- testgen/code_to_test/math_utils.py +47 -0
- testgen/code_to_test/sample_code_bin.py +141 -0
- testgen/controller/cli_controller.py +0 -1
- testgen/generated_boolean.py +48 -0
- testgen/reinforcement/agent.py +30 -26
- testgen/reinforcement/environment.py +7 -6
- testgen/reinforcement/statement_coverage_state.py +5 -3
- testgen/service/analysis_service.py +8 -6
- testgen/service/cfg_service.py +2 -0
- testgen/service/generator_service.py +6 -9
- testgen/service/logging_service.py +4 -2
- testgen/service/service.py +11 -20
- testgen/testgen.db +0 -0
- testgen/tests/__init__.py +0 -0
- testgen/tests/test_boolean.py +81 -0
- testgen/tests/test_generated_boolean.py +83 -0
- testgen/util/coverage_visualizer.py +5 -3
- testgen/util/file_utils.py +1 -1
- testgen/visualize/boolean_bin_and_coverage.png +0 -0
- testgen/visualize/boolean_bin_and_coverage_v1.png +0 -0
- testgen/visualize/boolean_bin_and_coverage_v2.png +0 -0
- testgen/visualize/boolean_bin_and_coverage_v3.png +0 -0
- testgen/visualize/boolean_bin_and_coverage_v4.png +0 -0
- testgen/visualize/boolean_bin_and_coverage_v5.png +0 -0
- testgen/visualize/boolean_bin_and_coverage_v6.png +0 -0
- testgen/visualize/boolean_bin_and_coverage_v7.png +0 -0
- testgen/visualize/boolean_bin_and_coverage_v8.png +0 -0
- testgen/visualize/boolean_bin_xor_coverage.png +0 -0
- testgen/visualize/boolean_bin_xor_coverage_v1.png +0 -0
- testgen/visualize/boolean_bin_xor_coverage_v2.png +0 -0
- testgen/visualize/boolean_bin_xor_coverage_v3.png +0 -0
- testgen/visualize/boolean_bin_xor_coverage_v4.png +0 -0
- testgen/visualize/boolean_bin_xor_coverage_v5.png +0 -0
- testgen/visualize/boolean_bin_xor_coverage_v6.png +0 -0
- testgen/visualize/boolean_bin_xor_coverage_v7.png +0 -0
- testgen/visualize/boolean_bin_xor_coverage_v8.png +0 -0
- testgen/visualize/boolean_status_flags_coverage.png +0 -0
- testgen/visualize/boolean_status_flags_coverage_v1.png +0 -0
- testgen/visualize/boolean_status_flags_coverage_v2.png +0 -0
- testgen/visualize/boolean_status_flags_coverage_v3.png +0 -0
- testgen/visualize/boolean_status_flags_coverage_v4.png +0 -0
- testgen/visualize/boolean_status_flags_coverage_v5.png +0 -0
- testgen/visualize/boolean_status_flags_coverage_v6.png +0 -0
- testgen/visualize/boolean_status_flags_coverage_v7.png +0 -0
- testgen/visualize/boolean_status_flags_coverage_v8.png +0 -0
- testgenie_py-0.2.4.dist-info/METADATA +139 -0
- testgenie_py-0.2.4.dist-info/RECORD +108 -0
- testgenie_py-0.2.2.dist-info/METADATA +0 -27
- testgenie_py-0.2.2.dist-info/RECORD +0 -67
- {testgenie_py-0.2.2.dist-info → testgenie_py-0.2.4.dist-info}/WHEEL +0 -0
- {testgenie_py-0.2.2.dist-info → testgenie_py-0.2.4.dist-info}/entry_points.txt +0 -0
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -0,0 +1,139 @@
|
|
|
1
|
+
Metadata-Version: 2.3
|
|
2
|
+
Name: testgenie-py
|
|
3
|
+
Version: 0.2.4
|
|
4
|
+
Summary: Automated unit test generation tool for Python.
|
|
5
|
+
Author: cjseitz
|
|
6
|
+
Author-email: charlesjseitz@gmail.com
|
|
7
|
+
Requires-Python: >=3.10,<4.0
|
|
8
|
+
Classifier: Programming Language :: Python :: 3
|
|
9
|
+
Classifier: Programming Language :: Python :: 3.10
|
|
10
|
+
Classifier: Programming Language :: Python :: 3.11
|
|
11
|
+
Classifier: Programming Language :: Python :: 3.12
|
|
12
|
+
Classifier: Programming Language :: Python :: 3.13
|
|
13
|
+
Requires-Dist: ConfigArgParse (==1.7)
|
|
14
|
+
Requires-Dist: astor (==0.8.1)
|
|
15
|
+
Requires-Dist: atheris (==2.3.0)
|
|
16
|
+
Requires-Dist: coverage (==7.6.4)
|
|
17
|
+
Requires-Dist: docker (>=7.1.0,<8.0.0)
|
|
18
|
+
Requires-Dist: klara (==0.6.3)
|
|
19
|
+
Requires-Dist: pygraphviz (>=1.14,<2.0)
|
|
20
|
+
Requires-Dist: pytest (>=8.3.5,<9.0.0)
|
|
21
|
+
Requires-Dist: staticfg (>=0.9.5,<0.10.0)
|
|
22
|
+
Requires-Dist: tabulate (>=0.9.0,<0.10.0)
|
|
23
|
+
Requires-Dist: typed-ast (==1.5.5)
|
|
24
|
+
Requires-Dist: z3-solver (==4.13.3.0)
|
|
25
|
+
Description-Content-Type: text/markdown
|
|
26
|
+
|
|
27
|
+
# TestGenie
|
|
28
|
+
|
|
29
|
+
**TestGenie** is an automated unit test generation tool for Python that supports multiple test generation strategies, including static AST analysis, fuzz testing, feedback-directed random testing, and reinforcement learning.
|
|
30
|
+
Built with a modular Pipe and Filter architecture, it analyzes Python source code to extract function metadata, generates meaningful test cases, and outputs executable test suites in formats like Unittest, PyTest, or Doctest.
|
|
31
|
+
The system can also measure and report code coverage and safely execute tests in Docker containers.
|
|
32
|
+
TestGenie aims to reduce manual testing effort, improve coverage, and explore the potential of learning-based approaches for optimizing test generation.
|
|
33
|
+
|
|
34
|
+
---
|
|
35
|
+
|
|
36
|
+
## Installation
|
|
37
|
+
|
|
38
|
+
Make sure you have **Python 3.10+** and **Poetry** installed.
|
|
39
|
+
|
|
40
|
+
Install dependencies:
|
|
41
|
+
|
|
42
|
+
```bash
|
|
43
|
+
poetry install
|
|
44
|
+
```
|
|
45
|
+
|
|
46
|
+
Activate the virtual environment:
|
|
47
|
+
|
|
48
|
+
```bash
|
|
49
|
+
poetry shell
|
|
50
|
+
```
|
|
51
|
+
|
|
52
|
+
---
|
|
53
|
+
|
|
54
|
+
## Running the CLI
|
|
55
|
+
|
|
56
|
+
To invoke the test generator, run:
|
|
57
|
+
|
|
58
|
+
```bash
|
|
59
|
+
poetry run python -m testgen.main <file_path> [options]
|
|
60
|
+
```
|
|
61
|
+
|
|
62
|
+
**Required Argument:**
|
|
63
|
+
- `<file_path>`: Path to the Python module you want to analyze.
|
|
64
|
+
|
|
65
|
+
---
|
|
66
|
+
|
|
67
|
+
## Command-Line Options
|
|
68
|
+
|
|
69
|
+
| Command/Flag | Description |
|
|
70
|
+
|:---|:---|
|
|
71
|
+
| `--output, -o <path>` | Path to output directory for generated test files (default: `./tests`) |
|
|
72
|
+
| `--generate-only, -g` | Only generate test code, skip running tests and measuring coverage |
|
|
73
|
+
| `--test-mode <mode>` | Set the test analysis strategy: `ast` (default), `random`, `fuzz`, or `reinforce` |
|
|
74
|
+
| `--test-format <format>` | Set the test output format: `unittest` (default), `pytest`, or `doctest` |
|
|
75
|
+
| `--safe` | Run test generation inside a Docker container for isolation and safety |
|
|
76
|
+
| `--query, -q` | Query the database for test cases, coverage data, and test results for a specific file |
|
|
77
|
+
| `--db <db_path>` | Path to SQLite database file (default: `testgen.db`) |
|
|
78
|
+
| `--reinforce-mode <mode>` | Set mode for reinforcement learning: `train` (default) or `collect` |
|
|
79
|
+
| `--visualize, -viz` | Visualize generated test coverage graphs using Graphviz |
|
|
80
|
+
| `--debug` | Enable debug logging output |
|
|
81
|
+
| `--log-file <path>` | Save logs to the specified file instead of only printing to the console |
|
|
82
|
+
|
|
83
|
+
---
|
|
84
|
+
|
|
85
|
+
## Examples
|
|
86
|
+
|
|
87
|
+
Generate and run unit tests for a Python module:
|
|
88
|
+
|
|
89
|
+
```bash
|
|
90
|
+
poetry run python -m testgen.main mymodule.py
|
|
91
|
+
```
|
|
92
|
+
|
|
93
|
+
Generate tests using fuzzing strategy and output to a custom directory:
|
|
94
|
+
|
|
95
|
+
```bash
|
|
96
|
+
poetry run python -m testgen.main mymodule.py --test-mode fuzz --output generated_tests/
|
|
97
|
+
```
|
|
98
|
+
|
|
99
|
+
Run reinforcement learning-based test generation:
|
|
100
|
+
|
|
101
|
+
```bash
|
|
102
|
+
poetry run python -m testgen.main mymodule.py --test-mode reinforce
|
|
103
|
+
```
|
|
104
|
+
|
|
105
|
+
Query previously generated test results from the database:
|
|
106
|
+
|
|
107
|
+
```bash
|
|
108
|
+
poetry run python -m testgen.main mymodule.py --query
|
|
109
|
+
```
|
|
110
|
+
|
|
111
|
+
Safely generate tests inside a Docker container:
|
|
112
|
+
|
|
113
|
+
```bash
|
|
114
|
+
poetry run python -m testgen.main mymodule.py --safe
|
|
115
|
+
```
|
|
116
|
+
|
|
117
|
+
---
|
|
118
|
+
|
|
119
|
+
## Features
|
|
120
|
+
- Static analysis using Python AST
|
|
121
|
+
- Fuzz testing using randomized input generation
|
|
122
|
+
- Feedback-directed random testing
|
|
123
|
+
- Reinforcement learning-based test case optimization
|
|
124
|
+
- Supports Unittest, PyTest, and Doctest formats
|
|
125
|
+
- Code coverage measurement and reporting
|
|
126
|
+
- Docker sandboxing for safe test execution
|
|
127
|
+
- SQLite database integration for tracking tests and results
|
|
128
|
+
- CLI visualization of test coverage graphs
|
|
129
|
+
|
|
130
|
+
---
|
|
131
|
+
|
|
132
|
+
## Requirements
|
|
133
|
+
|
|
134
|
+
- Python 3.10+
|
|
135
|
+
- Poetry
|
|
136
|
+
- (Optional) Docker (for safe mode execution)
|
|
137
|
+
|
|
138
|
+
---
|
|
139
|
+
|
|
@@ -0,0 +1,108 @@
|
|
|
1
|
+
testgen/.coverage,sha256=XY9yJLacQllS4F-amtHP29D_MhFi00nGmZ_BAei0z7g,53248
|
|
2
|
+
testgen/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
3
|
+
testgen/analyzer/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
4
|
+
testgen/analyzer/ast_analyzer.py,sha256=fUtrJQsgnKeSKqKaXSO_ZsY_uQr2aPeyTQP9ToyFEg4,6886
|
|
5
|
+
testgen/analyzer/contracts/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
6
|
+
testgen/analyzer/contracts/contract.py,sha256=6rNYJOy_2GrOhGtaXTDIOX6pTEOqo856FxG0yTc8amI,369
|
|
7
|
+
testgen/analyzer/contracts/no_exception_contract.py,sha256=rTWTuu5XKmvzBPD6yNAqiNehk9lbWn_Z8zFj-_djZ_w,512
|
|
8
|
+
testgen/analyzer/contracts/nonnull_contract.py,sha256=uurnrVptImYTVpSnu8ckdlU6c94AbiOWFoH1YnAQU0w,508
|
|
9
|
+
testgen/analyzer/fuzz_analyzer.py,sha256=WcKaINsUzhFbKT8CGlAJmpc85RKQuADjE3TSYHdj5dA,4323
|
|
10
|
+
testgen/analyzer/random_feedback_analyzer.py,sha256=hDcNIWE4BFtsoyXHWyxcC1qeq7y9sUz_x6xoK-Vddx4,23995
|
|
11
|
+
testgen/analyzer/reinforcement_analyzer.py,sha256=U6W7g-xDFS_P0aqxjPRnaXjGp2gOC9TMdfWaetFV7eE,3568
|
|
12
|
+
testgen/analyzer/test_case_analyzer.py,sha256=0qLcRKOrQ4Uyh1ZMecVTkY9bWjNnx7OridigNyjfUk4,1620
|
|
13
|
+
testgen/analyzer/test_case_analyzer_context.py,sha256=7umDPHBjoTaCRvZOdNynpnWsr14Gy0E2hpMBPK8mz3Q,2128
|
|
14
|
+
testgen/code_to_test/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
15
|
+
testgen/code_to_test/boolean.py,sha256=RM2byJDKFTx1FFrxnPG_uZWb24OcOH20Uh-D1Z-yPcE,3373
|
|
16
|
+
testgen/code_to_test/calculator.py,sha256=j7lw21BYg_vxaQVCrjOlhQOpObjSe5gu9xzthmdGphk,830
|
|
17
|
+
testgen/code_to_test/code_to_fuzz.py,sha256=cwgRpUdXjTlrUHSHMtA2TAj8Y-ddAn6CaUdXPM4MRmo,4826
|
|
18
|
+
testgen/code_to_test/code_to_fuzz_lite.py,sha256=EjS4GB5klnJrvZIDDpS9iIt0iZETVJI0ez9DmihMiYc,10429
|
|
19
|
+
testgen/code_to_test/decisions.py,sha256=ZiW-EF1yTOWeQVZ7Xh0oIPHK2NSNPUzVxCY0E2GbYvQ,1376
|
|
20
|
+
testgen/code_to_test/math_utils.py,sha256=FqPQz5-e1oklzGyTVYNO8JMKDg5ob8z05VOlpKfKvvw,853
|
|
21
|
+
testgen/code_to_test/sample_code_bin.py,sha256=kMvV_-oFeAkxUmDx41Pw0iTTmMG1pvX31TezXPWMOkE,4225
|
|
22
|
+
testgen/controller/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
23
|
+
testgen/controller/cli_controller.py,sha256=A3TsJQT20UI2TlBqC7SyI8TG0n1vP_Itd1K8TRoD3ps,8735
|
|
24
|
+
testgen/controller/docker_controller.py,sha256=LK3aV-n_J0YMRRcWNNinz-Z0FrKo-4qzEIYZSFht0Yc,8687
|
|
25
|
+
testgen/docker/Dockerfile,sha256=6mutzP0ZkVueuvMLCOy2bsyGxWjLHU-cq7RFkuC8r5Y,781
|
|
26
|
+
testgen/generated_boolean.py,sha256=i5at_BZ7YHtveTMYB0JKMFIkBe7cwhCeF5AViLhNoWA,1146
|
|
27
|
+
testgen/generated_samplecodebin.py,sha256=pf_aYtcfpjZzgiZ_FiBOxfug_ii3dRX0jnozBgQm7Xw,17030
|
|
28
|
+
testgen/generator/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
29
|
+
testgen/generator/code_generator.py,sha256=-Nh5Jt4my29YWA_LKWn98I4jvDA-fNi6AGuw-vJhRV0,3171
|
|
30
|
+
testgen/generator/doctest_generator.py,sha256=Dkaf2l72ENk1mqNP3WkOnIY-iqrTHh-443AWtxzRWGY,8806
|
|
31
|
+
testgen/generator/generator.py,sha256=9M9zg8DO0uU5W5s9hsz2oPCL7bz7sAD087M5TYottSs,2007
|
|
32
|
+
testgen/generator/pytest_generator.py,sha256=ZjQKPHlizFK2yx9WabAxkW9sM-xa64d08IIQibnvwuk,3369
|
|
33
|
+
testgen/generator/test_generator.py,sha256=D2Y3DaWH4fdIc5_9Xrznrkm0urFfhpYxuhL81M7RRaw,710
|
|
34
|
+
testgen/generator/unit_test_generator.py,sha256=yXg7_A0nOR0jhOfz7yzL6C_6pwoNCwf19Bpr_RW_41I,3596
|
|
35
|
+
testgen/inspector/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
36
|
+
testgen/inspector/inspector.py,sha256=6Fve_KenS5tl6fLJxAKjA7VjD8zHXxZcorCCQeHvfac,1779
|
|
37
|
+
testgen/main.py,sha256=zpLLi8HtPB6p3uMTKPrsRQDREP4i-ZqrOBwroW0XekM,385
|
|
38
|
+
testgen/models/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
39
|
+
testgen/models/analysis_context.py,sha256=-mhw_hn26MgF6aJnmj6Hub5jfCi8gmvcf4QNM4l7G2s,1442
|
|
40
|
+
testgen/models/function_metadata.py,sha256=t2lNSycFamuec7q3fiabq6aVO5XN0bylEU7mdup7Ezc,1587
|
|
41
|
+
testgen/models/generator_context.py,sha256=V-T9i-3Ar-gdBzQqidyqBb05PTmOu2LtdQdAIX3aaGk,1693
|
|
42
|
+
testgen/models/test_case.py,sha256=jwodn-6fKHCh4SO2qycbrFyggCb9UlwTZ8k3RdTObDQ,216
|
|
43
|
+
testgen/presentation/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
44
|
+
testgen/presentation/cli_view.py,sha256=2fZrsvZ-Wi4j37UvogsK9_yQV5o3A20jowIr6iFRu-s,296
|
|
45
|
+
testgen/reinforcement/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
46
|
+
testgen/reinforcement/abstract_state.py,sha256=M9Kp8fyJzsTzpyL3ca4HjjYpGXy9DRMw-IG7OgFVisY,154
|
|
47
|
+
testgen/reinforcement/agent.py,sha256=HJ5LwOY1gdoNrvrFjxFm1ThwJ_nhS1YJWytqQ5NXy4w,6274
|
|
48
|
+
testgen/reinforcement/environment.py,sha256=WDo-5vRsJQrQSEcNaXk1ugssT1zzJQmIQT15yRs4PJs,10964
|
|
49
|
+
testgen/reinforcement/statement_coverage_state.py,sha256=Fuj2ugf3oo-IezQ8iYzmwuarHxQ0f_nJSbr5dzgFqIA,1678
|
|
50
|
+
testgen/service/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
51
|
+
testgen/service/analysis_service.py,sha256=uPoPJFLh4Imf5y_Zd8pX9zxRijr-D0K0WV22YYEooLA,11133
|
|
52
|
+
testgen/service/cfg_service.py,sha256=Czr91D5AHVq38yPKyhZDjM5jMObGPvY0yPE-PxNVBYM,2326
|
|
53
|
+
testgen/service/generator_service.py,sha256=3JCWRlg5UKNhKRG9VXIycDFmuYKsRTzEmhmtlxroWAc,8088
|
|
54
|
+
testgen/service/logging_service.py,sha256=tCv9LHL1gUScQQp34_iYoUxfCFzLRtFG_DXRsJ73SjA,3189
|
|
55
|
+
testgen/service/service.py,sha256=j_tbvale6rIHfBFtJKWT1CYzSRT5tN6muU2RxaQRRRA,20875
|
|
56
|
+
testgen/sqlite/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
57
|
+
testgen/sqlite/db.py,sha256=RUt88ndT4CQRo9aZzLGXPHRK1iw0LyDEGnoWlOLzKGM,2390
|
|
58
|
+
testgen/sqlite/db_service.py,sha256=F2ug_FBrYOQtJwM2cMkvQrTS54_VhWGDAHXndnTi-c8,9768
|
|
59
|
+
testgen/testgen.db,sha256=EQVBRtHL8KcjzXni8Hrg2XwSyXWWt6GXY82NGHklfgE,45056
|
|
60
|
+
testgen/tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
61
|
+
testgen/tests/test_boolean.py,sha256=eS0raGCrPtVZbZqyU7InW3Pzy5HAgiGIYt6UmPUxkMk,1924
|
|
62
|
+
testgen/tests/test_generated_boolean.py,sha256=QOmfu8sgWanrpY-OKY8u09l0q2Q7m4oJST6Llg64ka0,2493
|
|
63
|
+
testgen/tree/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
64
|
+
testgen/tree/node.py,sha256=ONJtbACShN4yNj1X-UslFRgLyBP6mrbg7qZr3c6dWyA,165
|
|
65
|
+
testgen/tree/tree_utils.py,sha256=gT7jucky6_GWVOlDI6jpv6RMeWCkntGOHIYLvHxD85k,2122
|
|
66
|
+
testgen/util/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
67
|
+
testgen/util/coverage_utils.py,sha256=xKaFpgLEZLAgDWzugxJPKVwfd0nYZnP5oHLnFzYuRPE,9084
|
|
68
|
+
testgen/util/coverage_visualizer.py,sha256=_jGqKxqgzu_f2mzoFcaOhH-YYxy3C_mEHf5s_QUo4c4,5830
|
|
69
|
+
testgen/util/file_utils.py,sha256=mFABfLoC7ULv0lvhJliHzms9emKAm0rrlasho84nuLo,7067
|
|
70
|
+
testgen/util/randomizer.py,sha256=1WTPjCjgQxfHw9UPhvjRWJCKtcE3gCG4nmLn7HJtrac,5767
|
|
71
|
+
testgen/util/utils.py,sha256=_TPXveAcI_TR9XLU8qaDx63CrZJDvpzSWl_gfYchJz0,5665
|
|
72
|
+
testgen/util/z3_utils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
73
|
+
testgen/util/z3_utils/ast_to_z3.py,sha256=V87cvlH2OlO7_owuVTqygymMmK_FyesBovi6qe-BUcg,3180
|
|
74
|
+
testgen/util/z3_utils/branch_condition.py,sha256=N9FNR-iJmxIC62NpDQNVZ1OP14rXXqYzdA_NODPDUm4,2453
|
|
75
|
+
testgen/util/z3_utils/constraint_extractor.py,sha256=RXJLpmk6dAvHZ27839VXKXNtdy9St1F-17-pSEFu4bM,1285
|
|
76
|
+
testgen/util/z3_utils/variable_finder.py,sha256=dUh3F9_L_BDMz1ybiGss09LLcM_egbitgj0FT5Nh9u4,245
|
|
77
|
+
testgen/util/z3_utils/z3_test_case.py,sha256=yF4oJOrXMLzOwDUqXdoeg83MOTl3pvc_lYaZcS01CuQ,4983
|
|
78
|
+
testgen/visualize/boolean_bin_and_coverage.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
|
|
79
|
+
testgen/visualize/boolean_bin_and_coverage_v1.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
|
|
80
|
+
testgen/visualize/boolean_bin_and_coverage_v2.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
|
|
81
|
+
testgen/visualize/boolean_bin_and_coverage_v3.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
|
|
82
|
+
testgen/visualize/boolean_bin_and_coverage_v4.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
|
|
83
|
+
testgen/visualize/boolean_bin_and_coverage_v5.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
|
|
84
|
+
testgen/visualize/boolean_bin_and_coverage_v6.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
|
|
85
|
+
testgen/visualize/boolean_bin_and_coverage_v7.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
|
|
86
|
+
testgen/visualize/boolean_bin_and_coverage_v8.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
|
|
87
|
+
testgen/visualize/boolean_bin_xor_coverage.png,sha256=nmzDr4Qc2Hd3pdxrgAVWdXe7fks9c4UAyvp2PsTYPgM,45945
|
|
88
|
+
testgen/visualize/boolean_bin_xor_coverage_v1.png,sha256=nmzDr4Qc2Hd3pdxrgAVWdXe7fks9c4UAyvp2PsTYPgM,45945
|
|
89
|
+
testgen/visualize/boolean_bin_xor_coverage_v2.png,sha256=nmzDr4Qc2Hd3pdxrgAVWdXe7fks9c4UAyvp2PsTYPgM,45945
|
|
90
|
+
testgen/visualize/boolean_bin_xor_coverage_v3.png,sha256=hJ6CRK1iBpbD5EQ0Zhv4iD3QIq6wHJeAFb4VpkPDWDI,44454
|
|
91
|
+
testgen/visualize/boolean_bin_xor_coverage_v4.png,sha256=hJ6CRK1iBpbD5EQ0Zhv4iD3QIq6wHJeAFb4VpkPDWDI,44454
|
|
92
|
+
testgen/visualize/boolean_bin_xor_coverage_v5.png,sha256=hJ6CRK1iBpbD5EQ0Zhv4iD3QIq6wHJeAFb4VpkPDWDI,44454
|
|
93
|
+
testgen/visualize/boolean_bin_xor_coverage_v6.png,sha256=hJ6CRK1iBpbD5EQ0Zhv4iD3QIq6wHJeAFb4VpkPDWDI,44454
|
|
94
|
+
testgen/visualize/boolean_bin_xor_coverage_v7.png,sha256=hJ6CRK1iBpbD5EQ0Zhv4iD3QIq6wHJeAFb4VpkPDWDI,44454
|
|
95
|
+
testgen/visualize/boolean_bin_xor_coverage_v8.png,sha256=hJ6CRK1iBpbD5EQ0Zhv4iD3QIq6wHJeAFb4VpkPDWDI,44454
|
|
96
|
+
testgen/visualize/boolean_status_flags_coverage.png,sha256=KmfPse_7gt71JdfkKFY7Pcja90yNmSEvh7LQK1I0sMg,69661
|
|
97
|
+
testgen/visualize/boolean_status_flags_coverage_v1.png,sha256=KmfPse_7gt71JdfkKFY7Pcja90yNmSEvh7LQK1I0sMg,69661
|
|
98
|
+
testgen/visualize/boolean_status_flags_coverage_v2.png,sha256=KmfPse_7gt71JdfkKFY7Pcja90yNmSEvh7LQK1I0sMg,69661
|
|
99
|
+
testgen/visualize/boolean_status_flags_coverage_v3.png,sha256=SCMgwC8Oes_0J7P2oJasx0psC_7pnjJTvpioZilmrUE,71519
|
|
100
|
+
testgen/visualize/boolean_status_flags_coverage_v4.png,sha256=sI5T39fTA0ou11myDZCw8kvJmRmWkMUxXwzmPdz_GJ0,71538
|
|
101
|
+
testgen/visualize/boolean_status_flags_coverage_v5.png,sha256=SCMgwC8Oes_0J7P2oJasx0psC_7pnjJTvpioZilmrUE,71519
|
|
102
|
+
testgen/visualize/boolean_status_flags_coverage_v6.png,sha256=KmfPse_7gt71JdfkKFY7Pcja90yNmSEvh7LQK1I0sMg,69661
|
|
103
|
+
testgen/visualize/boolean_status_flags_coverage_v7.png,sha256=KmfPse_7gt71JdfkKFY7Pcja90yNmSEvh7LQK1I0sMg,69661
|
|
104
|
+
testgen/visualize/boolean_status_flags_coverage_v8.png,sha256=KmfPse_7gt71JdfkKFY7Pcja90yNmSEvh7LQK1I0sMg,69661
|
|
105
|
+
testgenie_py-0.2.4.dist-info/METADATA,sha256=nXNGsmJWgNS9PTwS5rBGAOYzPal0qVnFx5AIVr1HOuk,4350
|
|
106
|
+
testgenie_py-0.2.4.dist-info/WHEEL,sha256=fGIA9gx4Qxk2KDKeNJCbOEwSrmLtjWCwzBz351GyrPQ,88
|
|
107
|
+
testgenie_py-0.2.4.dist-info/entry_points.txt,sha256=OUN4GqB4zHlHWwWGjwIPbur4E_ZqQgkeeqaCLhzRZgg,47
|
|
108
|
+
testgenie_py-0.2.4.dist-info/RECORD,,
|
|
@@ -1,27 +0,0 @@
|
|
|
1
|
-
Metadata-Version: 2.3
|
|
2
|
-
Name: testgenie-py
|
|
3
|
-
Version: 0.2.2
|
|
4
|
-
Summary:
|
|
5
|
-
Author: cjseitz
|
|
6
|
-
Author-email: charlesjseitz@gmail.com
|
|
7
|
-
Requires-Python: >=3.10,<4.0
|
|
8
|
-
Classifier: Programming Language :: Python :: 3
|
|
9
|
-
Classifier: Programming Language :: Python :: 3.10
|
|
10
|
-
Classifier: Programming Language :: Python :: 3.11
|
|
11
|
-
Classifier: Programming Language :: Python :: 3.12
|
|
12
|
-
Classifier: Programming Language :: Python :: 3.13
|
|
13
|
-
Requires-Dist: ConfigArgParse (==1.7)
|
|
14
|
-
Requires-Dist: astor (==0.8.1)
|
|
15
|
-
Requires-Dist: atheris (==2.3.0)
|
|
16
|
-
Requires-Dist: coverage (==7.6.4)
|
|
17
|
-
Requires-Dist: docker (>=7.1.0,<8.0.0)
|
|
18
|
-
Requires-Dist: klara (==0.6.3)
|
|
19
|
-
Requires-Dist: pygraphviz (>=1.14,<2.0)
|
|
20
|
-
Requires-Dist: pytest (>=8.3.5,<9.0.0)
|
|
21
|
-
Requires-Dist: staticfg (>=0.9.5,<0.10.0)
|
|
22
|
-
Requires-Dist: tabulate (>=0.9.0,<0.10.0)
|
|
23
|
-
Requires-Dist: typed-ast (==1.5.5)
|
|
24
|
-
Requires-Dist: z3-solver (==4.13.3.0)
|
|
25
|
-
Description-Content-Type: text/markdown
|
|
26
|
-
|
|
27
|
-
|
|
@@ -1,67 +0,0 @@
|
|
|
1
|
-
testgen/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
2
|
-
testgen/analyzer/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
3
|
-
testgen/analyzer/ast_analyzer.py,sha256=JmqiosxgZJm2fhNDr5VUBpKKHmf8S2HP9Jm0Xl7NnnI,6783
|
|
4
|
-
testgen/analyzer/contracts/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
5
|
-
testgen/analyzer/contracts/contract.py,sha256=6rNYJOy_2GrOhGtaXTDIOX6pTEOqo856FxG0yTc8amI,369
|
|
6
|
-
testgen/analyzer/contracts/no_exception_contract.py,sha256=rTWTuu5XKmvzBPD6yNAqiNehk9lbWn_Z8zFj-_djZ_w,512
|
|
7
|
-
testgen/analyzer/contracts/nonnull_contract.py,sha256=uurnrVptImYTVpSnu8ckdlU6c94AbiOWFoH1YnAQU0w,508
|
|
8
|
-
testgen/analyzer/fuzz_analyzer.py,sha256=ktkDdh3mgHjcC4ZitGo9fa9RjnGqkdehaYJeSKssWss,4299
|
|
9
|
-
testgen/analyzer/random_feedback_analyzer.py,sha256=TCF4rBEU22YtBMBefNfuKNJRjHo5U-a6Qn-mEr1bH10,23959
|
|
10
|
-
testgen/analyzer/reinforcement_analyzer.py,sha256=U6W7g-xDFS_P0aqxjPRnaXjGp2gOC9TMdfWaetFV7eE,3568
|
|
11
|
-
testgen/analyzer/test_case_analyzer.py,sha256=foHRbz9K6WAn711sXbp-smJHDjI8GTG8F2TpovLZVEo,1530
|
|
12
|
-
testgen/analyzer/test_case_analyzer_context.py,sha256=7umDPHBjoTaCRvZOdNynpnWsr14Gy0E2hpMBPK8mz3Q,2128
|
|
13
|
-
testgen/controller/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
14
|
-
testgen/controller/cli_controller.py,sha256=7zDm0hPcTLQXap8Sw_s9SPYcbY0nbfvP1wW8zUqdv-8,8783
|
|
15
|
-
testgen/controller/docker_controller.py,sha256=LK3aV-n_J0YMRRcWNNinz-Z0FrKo-4qzEIYZSFht0Yc,8687
|
|
16
|
-
testgen/docker/Dockerfile,sha256=6mutzP0ZkVueuvMLCOy2bsyGxWjLHU-cq7RFkuC8r5Y,781
|
|
17
|
-
testgen/generated_samplecodebin.py,sha256=pf_aYtcfpjZzgiZ_FiBOxfug_ii3dRX0jnozBgQm7Xw,17030
|
|
18
|
-
testgen/generator/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
19
|
-
testgen/generator/code_generator.py,sha256=-Nh5Jt4my29YWA_LKWn98I4jvDA-fNi6AGuw-vJhRV0,3171
|
|
20
|
-
testgen/generator/doctest_generator.py,sha256=Dkaf2l72ENk1mqNP3WkOnIY-iqrTHh-443AWtxzRWGY,8806
|
|
21
|
-
testgen/generator/generator.py,sha256=9M9zg8DO0uU5W5s9hsz2oPCL7bz7sAD087M5TYottSs,2007
|
|
22
|
-
testgen/generator/pytest_generator.py,sha256=ZjQKPHlizFK2yx9WabAxkW9sM-xa64d08IIQibnvwuk,3369
|
|
23
|
-
testgen/generator/test_generator.py,sha256=D2Y3DaWH4fdIc5_9Xrznrkm0urFfhpYxuhL81M7RRaw,710
|
|
24
|
-
testgen/generator/unit_test_generator.py,sha256=yXg7_A0nOR0jhOfz7yzL6C_6pwoNCwf19Bpr_RW_41I,3596
|
|
25
|
-
testgen/inspector/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
26
|
-
testgen/inspector/inspector.py,sha256=6Fve_KenS5tl6fLJxAKjA7VjD8zHXxZcorCCQeHvfac,1779
|
|
27
|
-
testgen/main.py,sha256=zpLLi8HtPB6p3uMTKPrsRQDREP4i-ZqrOBwroW0XekM,385
|
|
28
|
-
testgen/models/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
29
|
-
testgen/models/analysis_context.py,sha256=-mhw_hn26MgF6aJnmj6Hub5jfCi8gmvcf4QNM4l7G2s,1442
|
|
30
|
-
testgen/models/function_metadata.py,sha256=t2lNSycFamuec7q3fiabq6aVO5XN0bylEU7mdup7Ezc,1587
|
|
31
|
-
testgen/models/generator_context.py,sha256=V-T9i-3Ar-gdBzQqidyqBb05PTmOu2LtdQdAIX3aaGk,1693
|
|
32
|
-
testgen/models/test_case.py,sha256=jwodn-6fKHCh4SO2qycbrFyggCb9UlwTZ8k3RdTObDQ,216
|
|
33
|
-
testgen/presentation/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
34
|
-
testgen/presentation/cli_view.py,sha256=2fZrsvZ-Wi4j37UvogsK9_yQV5o3A20jowIr6iFRu-s,296
|
|
35
|
-
testgen/reinforcement/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
36
|
-
testgen/reinforcement/abstract_state.py,sha256=M9Kp8fyJzsTzpyL3ca4HjjYpGXy9DRMw-IG7OgFVisY,154
|
|
37
|
-
testgen/reinforcement/agent.py,sha256=wvgbi-OVoVJMwhasGgsP2y1TKLiC5qjjTwZBNqKNRns,6098
|
|
38
|
-
testgen/reinforcement/environment.py,sha256=gW-Chh_c31AXlYR5GjTKybg4iNWSuZLeujB6Q7TdKPI,10838
|
|
39
|
-
testgen/reinforcement/statement_coverage_state.py,sha256=mTZ0uiFnyiIoHcQXlJv9FDSH4y1r3rxltYEdZcMaSSg,1552
|
|
40
|
-
testgen/service/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
41
|
-
testgen/service/analysis_service.py,sha256=LPvsb6XwFQIOn05niamDiJx_HqCyTX2UznREvKjfvWo,10973
|
|
42
|
-
testgen/service/cfg_service.py,sha256=ejgwbFlwla9Mfy4OJ-hsLAxo0TV3jO06hkldeEU-akQ,2236
|
|
43
|
-
testgen/service/generator_service.py,sha256=rDwE1mGQdshr_yaDANcCPtgKhcx5sDWxQi8myxkOKhk,8088
|
|
44
|
-
testgen/service/logging_service.py,sha256=vEQsluxwO-dAxWY4Xkwt8v5XeaXEv3GZh3ZYAsFCOEs,3116
|
|
45
|
-
testgen/service/service.py,sha256=aT6F8TxxBNLX8LIK3bVPvnohts2ssLkrr3dz-RK0L_c,20994
|
|
46
|
-
testgen/sqlite/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
47
|
-
testgen/sqlite/db.py,sha256=RUt88ndT4CQRo9aZzLGXPHRK1iw0LyDEGnoWlOLzKGM,2390
|
|
48
|
-
testgen/sqlite/db_service.py,sha256=F2ug_FBrYOQtJwM2cMkvQrTS54_VhWGDAHXndnTi-c8,9768
|
|
49
|
-
testgen/tree/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
50
|
-
testgen/tree/node.py,sha256=ONJtbACShN4yNj1X-UslFRgLyBP6mrbg7qZr3c6dWyA,165
|
|
51
|
-
testgen/tree/tree_utils.py,sha256=gT7jucky6_GWVOlDI6jpv6RMeWCkntGOHIYLvHxD85k,2122
|
|
52
|
-
testgen/util/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
53
|
-
testgen/util/coverage_utils.py,sha256=xKaFpgLEZLAgDWzugxJPKVwfd0nYZnP5oHLnFzYuRPE,9084
|
|
54
|
-
testgen/util/coverage_visualizer.py,sha256=Jp9d7SJaGKD38g4GWSOI4TusXtMYgMgQNPGrUnuVynk,5704
|
|
55
|
-
testgen/util/file_utils.py,sha256=IO239ZQB2DoZN1URrFlPq0fv73Xn5wQUQVEWk7g4gl4,7066
|
|
56
|
-
testgen/util/randomizer.py,sha256=1WTPjCjgQxfHw9UPhvjRWJCKtcE3gCG4nmLn7HJtrac,5767
|
|
57
|
-
testgen/util/utils.py,sha256=_TPXveAcI_TR9XLU8qaDx63CrZJDvpzSWl_gfYchJz0,5665
|
|
58
|
-
testgen/util/z3_utils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
59
|
-
testgen/util/z3_utils/ast_to_z3.py,sha256=V87cvlH2OlO7_owuVTqygymMmK_FyesBovi6qe-BUcg,3180
|
|
60
|
-
testgen/util/z3_utils/branch_condition.py,sha256=N9FNR-iJmxIC62NpDQNVZ1OP14rXXqYzdA_NODPDUm4,2453
|
|
61
|
-
testgen/util/z3_utils/constraint_extractor.py,sha256=RXJLpmk6dAvHZ27839VXKXNtdy9St1F-17-pSEFu4bM,1285
|
|
62
|
-
testgen/util/z3_utils/variable_finder.py,sha256=dUh3F9_L_BDMz1ybiGss09LLcM_egbitgj0FT5Nh9u4,245
|
|
63
|
-
testgen/util/z3_utils/z3_test_case.py,sha256=yF4oJOrXMLzOwDUqXdoeg83MOTl3pvc_lYaZcS01CuQ,4983
|
|
64
|
-
testgenie_py-0.2.2.dist-info/METADATA,sha256=gqB_l7Y9ELHsTmydKcJDaTeVKbEmgNltEhL7Si0Ll18,885
|
|
65
|
-
testgenie_py-0.2.2.dist-info/WHEEL,sha256=fGIA9gx4Qxk2KDKeNJCbOEwSrmLtjWCwzBz351GyrPQ,88
|
|
66
|
-
testgenie_py-0.2.2.dist-info/entry_points.txt,sha256=OUN4GqB4zHlHWwWGjwIPbur4E_ZqQgkeeqaCLhzRZgg,47
|
|
67
|
-
testgenie_py-0.2.2.dist-info/RECORD,,
|
|
File without changes
|
|
File without changes
|