testgenie-py 0.2.7__py3-none-any.whl → 0.2.8__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.
Files changed (47) hide show
  1. testgen/.coverage +0 -0
  2. testgen/code_to_test/__init__.py +0 -0
  3. testgen/code_to_test/boolean.py +146 -0
  4. testgen/code_to_test/calculator.py +29 -0
  5. testgen/code_to_test/code_to_fuzz.py +234 -0
  6. testgen/code_to_test/code_to_fuzz_lite.py +397 -0
  7. testgen/code_to_test/decisions.py +57 -0
  8. testgen/code_to_test/math_utils.py +47 -0
  9. testgen/code_to_test/sample_code_bin.py +141 -0
  10. testgen/controller/docker_controller.py +1 -5
  11. testgen/service/service.py +2 -2
  12. testgen/testgen.db +0 -0
  13. testgen/tests/__init__.py +0 -0
  14. testgen/tests/test_boolean.py +81 -0
  15. testgen/tests/test_code_to_fuzz_lite.py +251 -0
  16. testgen/tests/test_generated_boolean.py +83 -0
  17. testgen/visualize/boolean_bin_and_coverage.png +0 -0
  18. testgen/visualize/boolean_bin_and_coverage_v1.png +0 -0
  19. testgen/visualize/boolean_bin_and_coverage_v2.png +0 -0
  20. testgen/visualize/boolean_bin_and_coverage_v3.png +0 -0
  21. testgen/visualize/boolean_bin_and_coverage_v4.png +0 -0
  22. testgen/visualize/boolean_bin_and_coverage_v5.png +0 -0
  23. testgen/visualize/boolean_bin_and_coverage_v6.png +0 -0
  24. testgen/visualize/boolean_bin_and_coverage_v7.png +0 -0
  25. testgen/visualize/boolean_bin_and_coverage_v8.png +0 -0
  26. testgen/visualize/boolean_bin_xor_coverage.png +0 -0
  27. testgen/visualize/boolean_bin_xor_coverage_v1.png +0 -0
  28. testgen/visualize/boolean_bin_xor_coverage_v2.png +0 -0
  29. testgen/visualize/boolean_bin_xor_coverage_v3.png +0 -0
  30. testgen/visualize/boolean_bin_xor_coverage_v4.png +0 -0
  31. testgen/visualize/boolean_bin_xor_coverage_v5.png +0 -0
  32. testgen/visualize/boolean_bin_xor_coverage_v6.png +0 -0
  33. testgen/visualize/boolean_bin_xor_coverage_v7.png +0 -0
  34. testgen/visualize/boolean_bin_xor_coverage_v8.png +0 -0
  35. testgen/visualize/boolean_status_flags_coverage.png +0 -0
  36. testgen/visualize/boolean_status_flags_coverage_v1.png +0 -0
  37. testgen/visualize/boolean_status_flags_coverage_v2.png +0 -0
  38. testgen/visualize/boolean_status_flags_coverage_v3.png +0 -0
  39. testgen/visualize/boolean_status_flags_coverage_v4.png +0 -0
  40. testgen/visualize/boolean_status_flags_coverage_v5.png +0 -0
  41. testgen/visualize/boolean_status_flags_coverage_v6.png +0 -0
  42. testgen/visualize/boolean_status_flags_coverage_v7.png +0 -0
  43. testgen/visualize/boolean_status_flags_coverage_v8.png +0 -0
  44. {testgenie_py-0.2.7.dist-info → testgenie_py-0.2.8.dist-info}/METADATA +1 -1
  45. {testgenie_py-0.2.7.dist-info → testgenie_py-0.2.8.dist-info}/RECORD +47 -7
  46. {testgenie_py-0.2.7.dist-info → testgenie_py-0.2.8.dist-info}/WHEEL +0 -0
  47. {testgenie_py-0.2.7.dist-info → testgenie_py-0.2.8.dist-info}/entry_points.txt +0 -0
@@ -0,0 +1,81 @@
1
+ import pytest
2
+
3
+ import testgen.code_to_test.boolean as boolean
4
+
5
+ def test_bin_and_0():
6
+ args = (False, False)
7
+ expected = False
8
+ result = boolean.bin_and(*args)
9
+ assert result == expected
10
+
11
+ def test_bin_and_1():
12
+ args = (True, True)
13
+ expected = True
14
+ result = boolean.bin_and(*args)
15
+ assert result == expected
16
+
17
+ def test_bin_and_2():
18
+ args = (True, False)
19
+ expected = False
20
+ result = boolean.bin_and(*args)
21
+ assert result == expected
22
+
23
+ def test_bin_xor_3():
24
+ args = (False, True)
25
+ expected = True
26
+ result = boolean.bin_xor(*args)
27
+ assert result == expected
28
+
29
+ def test_bin_xor_4():
30
+ args = (False, False)
31
+ expected = False
32
+ result = boolean.bin_xor(*args)
33
+ assert result == expected
34
+
35
+ def test_bin_xor_5():
36
+ args = (True, True)
37
+ expected = False
38
+ result = boolean.bin_xor(*args)
39
+ assert result == expected
40
+
41
+ def test_bin_xor_6():
42
+ args = (True, False)
43
+ expected = True
44
+ result = boolean.bin_xor(*args)
45
+ assert result == expected
46
+
47
+ def test_status_flags_7():
48
+ args = (True, False, True)
49
+ expected = 'admin-unverified'
50
+ result = boolean.status_flags(*args)
51
+ assert result == expected
52
+
53
+ def test_status_flags_8():
54
+ args = (True, True, False)
55
+ expected = 'user-verified'
56
+ result = boolean.status_flags(*args)
57
+ assert result == expected
58
+
59
+ def test_status_flags_9():
60
+ args = (False, True, True)
61
+ expected = 'admin-verified'
62
+ result = boolean.status_flags(*args)
63
+ assert result == expected
64
+
65
+ def test_status_flags_10():
66
+ args = (True, True, True)
67
+ expected = 'admin-verified'
68
+ result = boolean.status_flags(*args)
69
+ assert result == expected
70
+
71
+ def test_status_flags_11():
72
+ args = (True, False, False)
73
+ expected = 'user-unverified'
74
+ result = boolean.status_flags(*args)
75
+ assert result == expected
76
+
77
+ def test_status_flags_12():
78
+ args = (False, True, False)
79
+ expected = 'inactive'
80
+ result = boolean.status_flags(*args)
81
+ assert result == expected
@@ -0,0 +1,251 @@
1
+ import unittest
2
+
3
+ import testgen.code_to_test.code_to_fuzz_lite as code_to_fuzz_lite
4
+
5
+ class TestNone(unittest.TestCase):
6
+
7
+ def test_random_fuzz_code_0(self):
8
+ args = (-575877166, -506373949)
9
+ expected = -1082251115
10
+ result = code_to_fuzz_lite.random_fuzz_code(*args)
11
+ self.assertEqual(result, expected)
12
+
13
+ def test_random_fuzz_code_1(self):
14
+ args = (-804220450, -1215112344)
15
+ expected = 410891894
16
+ result = code_to_fuzz_lite.random_fuzz_code(*args)
17
+ self.assertEqual(result, expected)
18
+
19
+ def test_bin_and_2(self):
20
+ args = (True, False)
21
+ expected = False
22
+ result = code_to_fuzz_lite.bin_and(*args)
23
+ self.assertEqual(result, expected)
24
+
25
+ def test_bin_and_3(self):
26
+ args = (False, True)
27
+ expected = False
28
+ result = code_to_fuzz_lite.bin_and(*args)
29
+ self.assertEqual(result, expected)
30
+
31
+ def test_bin_and_4(self):
32
+ args = (True, True)
33
+ expected = True
34
+ result = code_to_fuzz_lite.bin_and(*args)
35
+ self.assertEqual(result, expected)
36
+
37
+ def test_pos_or_neg_5(self):
38
+ args = -44133560
39
+ expected = -1
40
+ result = code_to_fuzz_lite.pos_or_neg(args)
41
+ self.assertEqual(result, expected)
42
+
43
+ def test_pos_or_neg_6(self):
44
+ args = 1998904876
45
+ expected = 1
46
+ result = code_to_fuzz_lite.pos_or_neg(args)
47
+ self.assertEqual(result, expected)
48
+
49
+ def test_int_even_7(self):
50
+ args = 226913822
51
+ expected = True
52
+ result = code_to_fuzz_lite.int_even(args)
53
+ self.assertEqual(result, expected)
54
+
55
+ def test_int_even_8(self):
56
+ args = 343042071
57
+ expected = False
58
+ result = code_to_fuzz_lite.int_even(args)
59
+ self.assertEqual(result, expected)
60
+
61
+ def test_bin_and_bad_generated_function_9(self):
62
+ args = (True, True)
63
+ expected = True
64
+ result = code_to_fuzz_lite.bin_and_bad_generated_function(*args)
65
+ self.assertEqual(result, expected)
66
+
67
+ def test_bin_and_bad_generated_function_10(self):
68
+ args = (False, True)
69
+ expected = True
70
+ result = code_to_fuzz_lite.bin_and_bad_generated_function(*args)
71
+ self.assertEqual(result, expected)
72
+
73
+ def test_bin_and_bad_generated_function_11(self):
74
+ args = (False, False)
75
+ expected = False
76
+ result = code_to_fuzz_lite.bin_and_bad_generated_function(*args)
77
+ self.assertEqual(result, expected)
78
+
79
+ def test_bin_and_bad_generated_function_12(self):
80
+ args = (True, False)
81
+ expected = True
82
+ result = code_to_fuzz_lite.bin_and_bad_generated_function(*args)
83
+ self.assertEqual(result, expected)
84
+
85
+ def test_bin_nand_generated_function_13(self):
86
+ args = (False, False)
87
+ expected = True
88
+ result = code_to_fuzz_lite.bin_nand_generated_function(*args)
89
+ self.assertEqual(result, expected)
90
+
91
+ def test_bin_nand_generated_function_14(self):
92
+ args = (True, True)
93
+ expected = False
94
+ result = code_to_fuzz_lite.bin_nand_generated_function(*args)
95
+ self.assertEqual(result, expected)
96
+
97
+ def test_bin_nand_generated_function_15(self):
98
+ args = (True, False)
99
+ expected = True
100
+ result = code_to_fuzz_lite.bin_nand_generated_function(*args)
101
+ self.assertEqual(result, expected)
102
+
103
+ def test_bin_nand_generated_function_16(self):
104
+ args = (False, True)
105
+ expected = True
106
+ result = code_to_fuzz_lite.bin_nand_generated_function(*args)
107
+ self.assertEqual(result, expected)
108
+
109
+ def test_bin_nor_generated_function_17(self):
110
+ args = (False, False)
111
+ expected = True
112
+ result = code_to_fuzz_lite.bin_nor_generated_function(*args)
113
+ self.assertEqual(result, expected)
114
+
115
+ def test_bin_nor_generated_function_18(self):
116
+ args = (False, True)
117
+ expected = False
118
+ result = code_to_fuzz_lite.bin_nor_generated_function(*args)
119
+ self.assertEqual(result, expected)
120
+
121
+ def test_bin_nor_generated_function_19(self):
122
+ args = (True, False)
123
+ expected = False
124
+ result = code_to_fuzz_lite.bin_nor_generated_function(*args)
125
+ self.assertEqual(result, expected)
126
+
127
+ def test_bin_or_generated_function_20(self):
128
+ args = (True, True)
129
+ expected = True
130
+ result = code_to_fuzz_lite.bin_or_generated_function(*args)
131
+ self.assertEqual(result, expected)
132
+
133
+ def test_bin_or_generated_function_21(self):
134
+ args = (True, False)
135
+ expected = True
136
+ result = code_to_fuzz_lite.bin_or_generated_function(*args)
137
+ self.assertEqual(result, expected)
138
+
139
+ def test_bin_or_generated_function_22(self):
140
+ args = (False, True)
141
+ expected = True
142
+ result = code_to_fuzz_lite.bin_or_generated_function(*args)
143
+ self.assertEqual(result, expected)
144
+
145
+ def test_bin_or_bad_generated_function_23(self):
146
+ args = (False, False)
147
+ expected = True
148
+ result = code_to_fuzz_lite.bin_or_bad_generated_function(*args)
149
+ self.assertEqual(result, expected)
150
+
151
+ def test_bin_or_bad_generated_function_24(self):
152
+ args = (False, True)
153
+ expected = False
154
+ result = code_to_fuzz_lite.bin_or_bad_generated_function(*args)
155
+ self.assertEqual(result, expected)
156
+
157
+ def test_bin_or_bad_generated_function_25(self):
158
+ args = (True, True)
159
+ expected = False
160
+ result = code_to_fuzz_lite.bin_or_bad_generated_function(*args)
161
+ self.assertEqual(result, expected)
162
+
163
+ def test_bin_or_bad_generated_function_26(self):
164
+ args = (True, False)
165
+ expected = False
166
+ result = code_to_fuzz_lite.bin_or_bad_generated_function(*args)
167
+ self.assertEqual(result, expected)
168
+
169
+ def test_bin_xor_generated_function_27(self):
170
+ args = (True, False)
171
+ expected = True
172
+ result = code_to_fuzz_lite.bin_xor_generated_function(*args)
173
+ self.assertEqual(result, expected)
174
+
175
+ def test_bin_xor_generated_function_28(self):
176
+ args = (False, True)
177
+ expected = True
178
+ result = code_to_fuzz_lite.bin_xor_generated_function(*args)
179
+ self.assertEqual(result, expected)
180
+
181
+ def test_bin_xor_generated_function_29(self):
182
+ args = (True, True)
183
+ expected = False
184
+ result = code_to_fuzz_lite.bin_xor_generated_function(*args)
185
+ self.assertEqual(result, expected)
186
+
187
+ def test_bin_xor_generated_function_30(self):
188
+ args = (False, False)
189
+ expected = False
190
+ result = code_to_fuzz_lite.bin_xor_generated_function(*args)
191
+ self.assertEqual(result, expected)
192
+
193
+ def test_mux_generated_function_31(self):
194
+ args = (False, True, True, True, True, True)
195
+ expected = True
196
+ result = code_to_fuzz_lite.mux_generated_function(*args)
197
+ self.assertEqual(result, expected)
198
+
199
+ def test_mux_generated_function_32(self):
200
+ args = (True, True, True, False, True, False)
201
+ expected = True
202
+ result = code_to_fuzz_lite.mux_generated_function(*args)
203
+ self.assertEqual(result, expected)
204
+
205
+ def test_mux_generated_function_33(self):
206
+ args = (True, True, False, False, True, True)
207
+ expected = False
208
+ result = code_to_fuzz_lite.mux_generated_function(*args)
209
+ self.assertEqual(result, expected)
210
+
211
+ def test_mux_generated_function_34(self):
212
+ args = (False, False, True, True, False, False)
213
+ expected = False
214
+ result = code_to_fuzz_lite.mux_generated_function(*args)
215
+ self.assertEqual(result, expected)
216
+
217
+ def test_mux_generated_function_35(self):
218
+ args = (False, False, False, True, False, False)
219
+ expected = False
220
+ result = code_to_fuzz_lite.mux_generated_function(*args)
221
+ self.assertEqual(result, expected)
222
+
223
+ def test_mux_generated_function_36(self):
224
+ args = (False, False, True, False, True, True)
225
+ expected = True
226
+ result = code_to_fuzz_lite.mux_generated_function(*args)
227
+ self.assertEqual(result, expected)
228
+
229
+ def test_mux_generated_function_37(self):
230
+ args = (False, False, True, False, False, True)
231
+ expected = True
232
+ result = code_to_fuzz_lite.mux_generated_function(*args)
233
+ self.assertEqual(result, expected)
234
+
235
+ def test_mux_generated_function_38(self):
236
+ args = (True, False, False, False, False, True)
237
+ expected = False
238
+ result = code_to_fuzz_lite.mux_generated_function(*args)
239
+ self.assertEqual(result, expected)
240
+
241
+ def test_mux_generated_function_39(self):
242
+ args = (True, False, False, False, True, True)
243
+ expected = False
244
+ result = code_to_fuzz_lite.mux_generated_function(*args)
245
+ self.assertEqual(result, expected)
246
+
247
+ def test_mux_generated_function_40(self):
248
+ args = (True, False, True, True, True, False)
249
+ expected = True
250
+ result = code_to_fuzz_lite.mux_generated_function(*args)
251
+ self.assertEqual(result, expected)
@@ -0,0 +1,83 @@
1
+ import unittest
2
+
3
+ import testgen.generated_boolean as generated_boolean
4
+
5
+ class TestNone(unittest.TestCase):
6
+
7
+ def test_bin_and_0(self):
8
+ args = (True, True)
9
+ expected = True
10
+ result = generated_boolean.bin_and(*args)
11
+ self.assertEqual(result, expected)
12
+
13
+ def test_bin_and_1(self):
14
+ args = (True, False)
15
+ expected = False
16
+ result = generated_boolean.bin_and(*args)
17
+ self.assertEqual(result, expected)
18
+
19
+ def test_bin_and_2(self):
20
+ args = (False, True)
21
+ expected = False
22
+ result = generated_boolean.bin_and(*args)
23
+ self.assertEqual(result, expected)
24
+
25
+ def test_bin_xor_3(self):
26
+ args = (True, True)
27
+ expected = False
28
+ result = generated_boolean.bin_xor(*args)
29
+ self.assertEqual(result, expected)
30
+
31
+ def test_bin_xor_4(self):
32
+ args = (True, False)
33
+ expected = True
34
+ result = generated_boolean.bin_xor(*args)
35
+ self.assertEqual(result, expected)
36
+
37
+ def test_bin_xor_5(self):
38
+ args = (False, True)
39
+ expected = True
40
+ result = generated_boolean.bin_xor(*args)
41
+ self.assertEqual(result, expected)
42
+
43
+ def test_status_flags_6(self):
44
+ args = (True, True, True)
45
+ expected = 'admin-verified'
46
+ result = generated_boolean.status_flags(*args)
47
+ self.assertEqual(result, expected)
48
+
49
+ def test_status_flags_7(self):
50
+ args = (True, True, False)
51
+ expected = 'user-verified'
52
+ result = generated_boolean.status_flags(*args)
53
+ self.assertEqual(result, expected)
54
+
55
+ def test_status_flags_8(self):
56
+ args = (True, False, True)
57
+ expected = 'admin-unverified'
58
+ result = generated_boolean.status_flags(*args)
59
+ self.assertEqual(result, expected)
60
+
61
+ def test_status_flags_9(self):
62
+ args = (True, False, False)
63
+ expected = 'user-unverified'
64
+ result = generated_boolean.status_flags(*args)
65
+ self.assertEqual(result, expected)
66
+
67
+ def test_status_flags_10(self):
68
+ args = (False, True, True)
69
+ expected = 'admin-verified'
70
+ result = generated_boolean.status_flags(*args)
71
+ self.assertEqual(result, expected)
72
+
73
+ def test_status_flags_11(self):
74
+ args = (False, True, False)
75
+ expected = 'inactive'
76
+ result = generated_boolean.status_flags(*args)
77
+ self.assertEqual(result, expected)
78
+
79
+ def test_status_flags_12(self):
80
+ args = (False, False, True)
81
+ expected = 'admin-unverified'
82
+ result = generated_boolean.status_flags(*args)
83
+ self.assertEqual(result, expected)
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.3
2
2
  Name: testgenie-py
3
- Version: 0.2.7
3
+ Version: 0.2.8
4
4
  Summary: Automated unit test generation tool for Python.
5
5
  Author: cjseitz
6
6
  Author-email: charlesjseitz@gmail.com
@@ -1,3 +1,4 @@
1
+ testgen/.coverage,sha256=NYSARpg1eBFSMEuoMcK98U5uK0xbwwS3s2V5TPGI7fw,69632
1
2
  testgen/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
2
3
  testgen/analyzer/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
3
4
  testgen/analyzer/ast_analyzer.py,sha256=fUtrJQsgnKeSKqKaXSO_ZsY_uQr2aPeyTQP9ToyFEg4,6886
@@ -10,9 +11,17 @@ testgen/analyzer/random_feedback_analyzer.py,sha256=hDcNIWE4BFtsoyXHWyxcC1qeq7y9
10
11
  testgen/analyzer/reinforcement_analyzer.py,sha256=U6W7g-xDFS_P0aqxjPRnaXjGp2gOC9TMdfWaetFV7eE,3568
11
12
  testgen/analyzer/test_case_analyzer.py,sha256=0qLcRKOrQ4Uyh1ZMecVTkY9bWjNnx7OridigNyjfUk4,1620
12
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
13
22
  testgen/controller/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
14
23
  testgen/controller/cli_controller.py,sha256=A3TsJQT20UI2TlBqC7SyI8TG0n1vP_Itd1K8TRoD3ps,8735
15
- testgen/controller/docker_controller.py,sha256=vCc1bfN-ITSuDDMsy__8rw2KSNOUP-rh5k8Nqakyyjo,8651
24
+ testgen/controller/docker_controller.py,sha256=azqOn217s49M9kKy61jm43-D6J4q8pNOcw0vswBbO7U,8316
16
25
  testgen/docker/Dockerfile,sha256=6mutzP0ZkVueuvMLCOy2bsyGxWjLHU-cq7RFkuC8r5Y,781
17
26
  testgen/generated_boolean.py,sha256=i5at_BZ7YHtveTMYB0JKMFIkBe7cwhCeF5AViLhNoWA,1146
18
27
  testgen/generated_samplecodebin.py,sha256=pf_aYtcfpjZzgiZ_FiBOxfug_ii3dRX0jnozBgQm7Xw,17030
@@ -43,11 +52,15 @@ testgen/service/analysis_service.py,sha256=uPoPJFLh4Imf5y_Zd8pX9zxRijr-D0K0WV22Y
43
52
  testgen/service/cfg_service.py,sha256=Czr91D5AHVq38yPKyhZDjM5jMObGPvY0yPE-PxNVBYM,2326
44
53
  testgen/service/generator_service.py,sha256=3JCWRlg5UKNhKRG9VXIycDFmuYKsRTzEmhmtlxroWAc,8088
45
54
  testgen/service/logging_service.py,sha256=tCv9LHL1gUScQQp34_iYoUxfCFzLRtFG_DXRsJ73SjA,3189
46
- testgen/service/service.py,sha256=j_tbvale6rIHfBFtJKWT1CYzSRT5tN6muU2RxaQRRRA,20875
55
+ testgen/service/service.py,sha256=7GLCC5acVcrnUqWEByGizdO8eIKMOUhTIUGymbDCe18,20793
47
56
  testgen/sqlite/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
48
57
  testgen/sqlite/db.py,sha256=RUt88ndT4CQRo9aZzLGXPHRK1iw0LyDEGnoWlOLzKGM,2390
49
58
  testgen/sqlite/db_service.py,sha256=F2ug_FBrYOQtJwM2cMkvQrTS54_VhWGDAHXndnTi-c8,9768
50
- testgen/testgen.db,sha256=EQVBRtHL8KcjzXni8Hrg2XwSyXWWt6GXY82NGHklfgE,45056
59
+ testgen/testgen.db,sha256=JjksVfefobXyMot1xwhA3bXtJ2y8jpIXu_Plz13IrlY,53248
60
+ testgen/tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
61
+ testgen/tests/test_boolean.py,sha256=eS0raGCrPtVZbZqyU7InW3Pzy5HAgiGIYt6UmPUxkMk,1924
62
+ testgen/tests/test_code_to_fuzz_lite.py,sha256=B66_FNIULxkMIL48oSGx1fsxCo3tF4cp7VyhlrZAfZI,8574
63
+ testgen/tests/test_generated_boolean.py,sha256=QOmfu8sgWanrpY-OKY8u09l0q2Q7m4oJST6Llg64ka0,2493
51
64
  testgen/tree/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
52
65
  testgen/tree/node.py,sha256=ONJtbACShN4yNj1X-UslFRgLyBP6mrbg7qZr3c6dWyA,165
53
66
  testgen/tree/tree_utils.py,sha256=gT7jucky6_GWVOlDI6jpv6RMeWCkntGOHIYLvHxD85k,2122
@@ -63,7 +76,34 @@ testgen/util/z3_utils/branch_condition.py,sha256=N9FNR-iJmxIC62NpDQNVZ1OP14rXXqY
63
76
  testgen/util/z3_utils/constraint_extractor.py,sha256=RXJLpmk6dAvHZ27839VXKXNtdy9St1F-17-pSEFu4bM,1285
64
77
  testgen/util/z3_utils/variable_finder.py,sha256=dUh3F9_L_BDMz1ybiGss09LLcM_egbitgj0FT5Nh9u4,245
65
78
  testgen/util/z3_utils/z3_test_case.py,sha256=yF4oJOrXMLzOwDUqXdoeg83MOTl3pvc_lYaZcS01CuQ,4983
66
- testgenie_py-0.2.7.dist-info/METADATA,sha256=udBowfJ_3I6hQ_YzlFdgxTM3I6a1GzxQhAmW_mxDEWA,4350
67
- testgenie_py-0.2.7.dist-info/WHEEL,sha256=fGIA9gx4Qxk2KDKeNJCbOEwSrmLtjWCwzBz351GyrPQ,88
68
- testgenie_py-0.2.7.dist-info/entry_points.txt,sha256=OUN4GqB4zHlHWwWGjwIPbur4E_ZqQgkeeqaCLhzRZgg,47
69
- testgenie_py-0.2.7.dist-info/RECORD,,
79
+ testgen/visualize/boolean_bin_and_coverage.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
80
+ testgen/visualize/boolean_bin_and_coverage_v1.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
81
+ testgen/visualize/boolean_bin_and_coverage_v2.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
82
+ testgen/visualize/boolean_bin_and_coverage_v3.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
83
+ testgen/visualize/boolean_bin_and_coverage_v4.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
84
+ testgen/visualize/boolean_bin_and_coverage_v5.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
85
+ testgen/visualize/boolean_bin_and_coverage_v6.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
86
+ testgen/visualize/boolean_bin_and_coverage_v7.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
87
+ testgen/visualize/boolean_bin_and_coverage_v8.png,sha256=W91WI9xvu8-uxUcS6wAekWtVMV8G_JEq-_rCqt8vSas,38291
88
+ testgen/visualize/boolean_bin_xor_coverage.png,sha256=nmzDr4Qc2Hd3pdxrgAVWdXe7fks9c4UAyvp2PsTYPgM,45945
89
+ testgen/visualize/boolean_bin_xor_coverage_v1.png,sha256=nmzDr4Qc2Hd3pdxrgAVWdXe7fks9c4UAyvp2PsTYPgM,45945
90
+ testgen/visualize/boolean_bin_xor_coverage_v2.png,sha256=nmzDr4Qc2Hd3pdxrgAVWdXe7fks9c4UAyvp2PsTYPgM,45945
91
+ testgen/visualize/boolean_bin_xor_coverage_v3.png,sha256=hJ6CRK1iBpbD5EQ0Zhv4iD3QIq6wHJeAFb4VpkPDWDI,44454
92
+ testgen/visualize/boolean_bin_xor_coverage_v4.png,sha256=hJ6CRK1iBpbD5EQ0Zhv4iD3QIq6wHJeAFb4VpkPDWDI,44454
93
+ testgen/visualize/boolean_bin_xor_coverage_v5.png,sha256=hJ6CRK1iBpbD5EQ0Zhv4iD3QIq6wHJeAFb4VpkPDWDI,44454
94
+ testgen/visualize/boolean_bin_xor_coverage_v6.png,sha256=hJ6CRK1iBpbD5EQ0Zhv4iD3QIq6wHJeAFb4VpkPDWDI,44454
95
+ testgen/visualize/boolean_bin_xor_coverage_v7.png,sha256=hJ6CRK1iBpbD5EQ0Zhv4iD3QIq6wHJeAFb4VpkPDWDI,44454
96
+ testgen/visualize/boolean_bin_xor_coverage_v8.png,sha256=hJ6CRK1iBpbD5EQ0Zhv4iD3QIq6wHJeAFb4VpkPDWDI,44454
97
+ testgen/visualize/boolean_status_flags_coverage.png,sha256=KmfPse_7gt71JdfkKFY7Pcja90yNmSEvh7LQK1I0sMg,69661
98
+ testgen/visualize/boolean_status_flags_coverage_v1.png,sha256=KmfPse_7gt71JdfkKFY7Pcja90yNmSEvh7LQK1I0sMg,69661
99
+ testgen/visualize/boolean_status_flags_coverage_v2.png,sha256=KmfPse_7gt71JdfkKFY7Pcja90yNmSEvh7LQK1I0sMg,69661
100
+ testgen/visualize/boolean_status_flags_coverage_v3.png,sha256=SCMgwC8Oes_0J7P2oJasx0psC_7pnjJTvpioZilmrUE,71519
101
+ testgen/visualize/boolean_status_flags_coverage_v4.png,sha256=sI5T39fTA0ou11myDZCw8kvJmRmWkMUxXwzmPdz_GJ0,71538
102
+ testgen/visualize/boolean_status_flags_coverage_v5.png,sha256=SCMgwC8Oes_0J7P2oJasx0psC_7pnjJTvpioZilmrUE,71519
103
+ testgen/visualize/boolean_status_flags_coverage_v6.png,sha256=KmfPse_7gt71JdfkKFY7Pcja90yNmSEvh7LQK1I0sMg,69661
104
+ testgen/visualize/boolean_status_flags_coverage_v7.png,sha256=KmfPse_7gt71JdfkKFY7Pcja90yNmSEvh7LQK1I0sMg,69661
105
+ testgen/visualize/boolean_status_flags_coverage_v8.png,sha256=KmfPse_7gt71JdfkKFY7Pcja90yNmSEvh7LQK1I0sMg,69661
106
+ testgenie_py-0.2.8.dist-info/METADATA,sha256=614Q86G6T2Ftu0SiXLT7tuunxj51g5ndtLjN0kz4f1Q,4350
107
+ testgenie_py-0.2.8.dist-info/WHEEL,sha256=fGIA9gx4Qxk2KDKeNJCbOEwSrmLtjWCwzBz351GyrPQ,88
108
+ testgenie_py-0.2.8.dist-info/entry_points.txt,sha256=OUN4GqB4zHlHWwWGjwIPbur4E_ZqQgkeeqaCLhzRZgg,47
109
+ testgenie_py-0.2.8.dist-info/RECORD,,