testgenie-py 0.2.8__py3-none-any.whl → 0.3.0__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/code_to_test/code_to_fuzz.py +315 -220
- testgen/controller/docker_controller.py +12 -11
- testgen/service/service.py +10 -3
- testgen/testgen.db +0 -0
- testgen/tests/{test_code_to_fuzz_lite.py → test_code_to_fuzz.py} +127 -115
- {testgenie_py-0.2.8.dist-info → testgenie_py-0.3.0.dist-info}/METADATA +1 -1
- {testgenie_py-0.2.8.dist-info → testgenie_py-0.3.0.dist-info}/RECORD +10 -41
- testgen/generated_boolean.py +0 -48
- testgen/generated_samplecodebin.py +0 -545
- testgen/tests/test_boolean.py +0 -81
- testgen/tests/test_generated_boolean.py +0 -83
- 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.8.dist-info → testgenie_py-0.3.0.dist-info}/WHEEL +0 -0
- {testgenie_py-0.2.8.dist-info → testgenie_py-0.3.0.dist-info}/entry_points.txt +0 -0
@@ -1,251 +1,263 @@
|
|
1
1
|
import unittest
|
2
2
|
|
3
|
-
import testgen.code_to_test.
|
3
|
+
import testgen.code_to_test.code_to_fuzz as code_to_fuzz
|
4
4
|
|
5
5
|
class TestNone(unittest.TestCase):
|
6
6
|
|
7
7
|
def test_random_fuzz_code_0(self):
|
8
|
-
args = (
|
9
|
-
expected =
|
10
|
-
result =
|
8
|
+
args = (1927227313, 775789320)
|
9
|
+
expected = 1151437993
|
10
|
+
result = code_to_fuzz.random_fuzz_code(*args)
|
11
11
|
self.assertEqual(result, expected)
|
12
12
|
|
13
13
|
def test_random_fuzz_code_1(self):
|
14
|
-
args = (
|
15
|
-
expected =
|
16
|
-
result =
|
14
|
+
args = (1359311181, 1603562853)
|
15
|
+
expected = 2962874034
|
16
|
+
result = code_to_fuzz.random_fuzz_code(*args)
|
17
17
|
self.assertEqual(result, expected)
|
18
18
|
|
19
19
|
def test_bin_and_2(self):
|
20
|
-
args = (
|
20
|
+
args = (False, False)
|
21
21
|
expected = False
|
22
|
-
result =
|
22
|
+
result = code_to_fuzz.bin_and(*args)
|
23
23
|
self.assertEqual(result, expected)
|
24
24
|
|
25
25
|
def test_bin_and_3(self):
|
26
|
-
args = (
|
27
|
-
expected =
|
28
|
-
result =
|
26
|
+
args = (True, True)
|
27
|
+
expected = True
|
28
|
+
result = code_to_fuzz.bin_and(*args)
|
29
29
|
self.assertEqual(result, expected)
|
30
30
|
|
31
31
|
def test_bin_and_4(self):
|
32
|
-
args = (True,
|
33
|
-
expected =
|
34
|
-
result =
|
32
|
+
args = (True, False)
|
33
|
+
expected = False
|
34
|
+
result = code_to_fuzz.bin_and(*args)
|
35
35
|
self.assertEqual(result, expected)
|
36
36
|
|
37
37
|
def test_pos_or_neg_5(self):
|
38
|
-
args =
|
39
|
-
expected =
|
40
|
-
result =
|
38
|
+
args = 1381971091
|
39
|
+
expected = 1
|
40
|
+
result = code_to_fuzz.pos_or_neg(args)
|
41
41
|
self.assertEqual(result, expected)
|
42
42
|
|
43
43
|
def test_pos_or_neg_6(self):
|
44
|
-
args =
|
45
|
-
expected = 1
|
46
|
-
result =
|
44
|
+
args = -1792272568
|
45
|
+
expected = -1
|
46
|
+
result = code_to_fuzz.pos_or_neg(args)
|
47
47
|
self.assertEqual(result, expected)
|
48
48
|
|
49
49
|
def test_int_even_7(self):
|
50
|
-
args =
|
50
|
+
args = 612556544
|
51
51
|
expected = True
|
52
|
-
result =
|
52
|
+
result = code_to_fuzz.int_even(args)
|
53
53
|
self.assertEqual(result, expected)
|
54
54
|
|
55
55
|
def test_int_even_8(self):
|
56
|
-
args =
|
56
|
+
args = 1538337835
|
57
57
|
expected = False
|
58
|
-
result =
|
58
|
+
result = code_to_fuzz.int_even(args)
|
59
59
|
self.assertEqual(result, expected)
|
60
60
|
|
61
|
-
def
|
62
|
-
args =
|
63
|
-
expected =
|
64
|
-
result =
|
61
|
+
def test_http_code_9(self):
|
62
|
+
args = 1748799535
|
63
|
+
expected = 'invalid'
|
64
|
+
result = code_to_fuzz.http_code(args)
|
65
65
|
self.assertEqual(result, expected)
|
66
66
|
|
67
|
-
def
|
68
|
-
args = (
|
69
|
-
expected =
|
70
|
-
result =
|
67
|
+
def test_add_or_subtract_10(self):
|
68
|
+
args = (1167731537, 1136934405)
|
69
|
+
expected = 30797132
|
70
|
+
result = code_to_fuzz.add_or_subtract(*args)
|
71
|
+
self.assertEqual(result, expected)
|
72
|
+
|
73
|
+
def test_add_or_subtract_11(self):
|
74
|
+
args = (506636609, 1260222214)
|
75
|
+
expected = 1766858823
|
76
|
+
result = code_to_fuzz.add_or_subtract(*args)
|
71
77
|
self.assertEqual(result, expected)
|
72
78
|
|
73
|
-
def
|
79
|
+
def test_bin_and_bad_generated_function_12(self):
|
74
80
|
args = (False, False)
|
75
81
|
expected = False
|
76
|
-
result =
|
82
|
+
result = code_to_fuzz.bin_and_bad_generated_function(*args)
|
77
83
|
self.assertEqual(result, expected)
|
78
84
|
|
79
|
-
def
|
80
|
-
args = (True,
|
85
|
+
def test_bin_and_bad_generated_function_13(self):
|
86
|
+
args = (True, True)
|
87
|
+
expected = True
|
88
|
+
result = code_to_fuzz.bin_and_bad_generated_function(*args)
|
89
|
+
self.assertEqual(result, expected)
|
90
|
+
|
91
|
+
def test_bin_and_bad_generated_function_14(self):
|
92
|
+
args = (False, True)
|
81
93
|
expected = True
|
82
|
-
result =
|
94
|
+
result = code_to_fuzz.bin_and_bad_generated_function(*args)
|
83
95
|
self.assertEqual(result, expected)
|
84
96
|
|
85
|
-
def
|
97
|
+
def test_bin_nand_generated_function_15(self):
|
86
98
|
args = (False, False)
|
87
99
|
expected = True
|
88
|
-
result =
|
100
|
+
result = code_to_fuzz.bin_nand_generated_function(*args)
|
89
101
|
self.assertEqual(result, expected)
|
90
102
|
|
91
|
-
def
|
103
|
+
def test_bin_nand_generated_function_16(self):
|
92
104
|
args = (True, True)
|
93
105
|
expected = False
|
94
|
-
result =
|
106
|
+
result = code_to_fuzz.bin_nand_generated_function(*args)
|
95
107
|
self.assertEqual(result, expected)
|
96
108
|
|
97
|
-
def
|
109
|
+
def test_bin_nand_generated_function_17(self):
|
98
110
|
args = (True, False)
|
99
111
|
expected = True
|
100
|
-
result =
|
112
|
+
result = code_to_fuzz.bin_nand_generated_function(*args)
|
101
113
|
self.assertEqual(result, expected)
|
102
114
|
|
103
|
-
def
|
115
|
+
def test_bin_nand_generated_function_18(self):
|
104
116
|
args = (False, True)
|
105
117
|
expected = True
|
106
|
-
result =
|
118
|
+
result = code_to_fuzz.bin_nand_generated_function(*args)
|
107
119
|
self.assertEqual(result, expected)
|
108
120
|
|
109
|
-
def
|
110
|
-
args = (
|
111
|
-
expected =
|
112
|
-
result =
|
121
|
+
def test_bin_nor_generated_function_19(self):
|
122
|
+
args = (True, True)
|
123
|
+
expected = False
|
124
|
+
result = code_to_fuzz.bin_nor_generated_function(*args)
|
113
125
|
self.assertEqual(result, expected)
|
114
126
|
|
115
|
-
def
|
127
|
+
def test_bin_nor_generated_function_20(self):
|
116
128
|
args = (False, True)
|
117
129
|
expected = False
|
118
|
-
result =
|
130
|
+
result = code_to_fuzz.bin_nor_generated_function(*args)
|
119
131
|
self.assertEqual(result, expected)
|
120
132
|
|
121
|
-
def
|
133
|
+
def test_bin_nor_generated_function_21(self):
|
122
134
|
args = (True, False)
|
123
135
|
expected = False
|
124
|
-
result =
|
136
|
+
result = code_to_fuzz.bin_nor_generated_function(*args)
|
125
137
|
self.assertEqual(result, expected)
|
126
138
|
|
127
|
-
def
|
128
|
-
args = (
|
139
|
+
def test_bin_or_generated_function_22(self):
|
140
|
+
args = (False, True)
|
129
141
|
expected = True
|
130
|
-
result =
|
142
|
+
result = code_to_fuzz.bin_or_generated_function(*args)
|
131
143
|
self.assertEqual(result, expected)
|
132
144
|
|
133
|
-
def
|
145
|
+
def test_bin_or_generated_function_23(self):
|
134
146
|
args = (True, False)
|
135
147
|
expected = True
|
136
|
-
result =
|
148
|
+
result = code_to_fuzz.bin_or_generated_function(*args)
|
137
149
|
self.assertEqual(result, expected)
|
138
150
|
|
139
|
-
def
|
140
|
-
args = (
|
151
|
+
def test_bin_or_generated_function_24(self):
|
152
|
+
args = (True, True)
|
141
153
|
expected = True
|
142
|
-
result =
|
154
|
+
result = code_to_fuzz.bin_or_generated_function(*args)
|
143
155
|
self.assertEqual(result, expected)
|
144
156
|
|
145
|
-
def
|
157
|
+
def test_bin_or_generated_function_25(self):
|
146
158
|
args = (False, False)
|
147
|
-
expected =
|
148
|
-
result =
|
159
|
+
expected = False
|
160
|
+
result = code_to_fuzz.bin_or_generated_function(*args)
|
149
161
|
self.assertEqual(result, expected)
|
150
162
|
|
151
|
-
def
|
163
|
+
def test_bin_or_bad_generated_function_26(self):
|
152
164
|
args = (False, True)
|
153
165
|
expected = False
|
154
|
-
result =
|
166
|
+
result = code_to_fuzz.bin_or_bad_generated_function(*args)
|
155
167
|
self.assertEqual(result, expected)
|
156
168
|
|
157
|
-
def
|
169
|
+
def test_bin_or_bad_generated_function_27(self):
|
158
170
|
args = (True, True)
|
159
171
|
expected = False
|
160
|
-
result =
|
172
|
+
result = code_to_fuzz.bin_or_bad_generated_function(*args)
|
161
173
|
self.assertEqual(result, expected)
|
162
174
|
|
163
|
-
def
|
164
|
-
args = (
|
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)
|
175
|
+
def test_bin_or_bad_generated_function_28(self):
|
176
|
+
args = (False, False)
|
177
177
|
expected = True
|
178
|
-
result =
|
178
|
+
result = code_to_fuzz.bin_or_bad_generated_function(*args)
|
179
179
|
self.assertEqual(result, expected)
|
180
180
|
|
181
|
-
def
|
182
|
-
args = (True,
|
181
|
+
def test_bin_or_bad_generated_function_29(self):
|
182
|
+
args = (True, False)
|
183
183
|
expected = False
|
184
|
-
result =
|
184
|
+
result = code_to_fuzz.bin_or_bad_generated_function(*args)
|
185
185
|
self.assertEqual(result, expected)
|
186
186
|
|
187
187
|
def test_bin_xor_generated_function_30(self):
|
188
|
-
args = (
|
188
|
+
args = (True, True)
|
189
189
|
expected = False
|
190
|
-
result =
|
190
|
+
result = code_to_fuzz.bin_xor_generated_function(*args)
|
191
191
|
self.assertEqual(result, expected)
|
192
192
|
|
193
|
-
def
|
194
|
-
args = (
|
193
|
+
def test_bin_xor_generated_function_31(self):
|
194
|
+
args = (True, False)
|
195
195
|
expected = True
|
196
|
-
result =
|
196
|
+
result = code_to_fuzz.bin_xor_generated_function(*args)
|
197
197
|
self.assertEqual(result, expected)
|
198
198
|
|
199
|
-
def
|
200
|
-
args = (
|
199
|
+
def test_bin_xor_generated_function_32(self):
|
200
|
+
args = (False, True)
|
201
201
|
expected = True
|
202
|
-
result =
|
202
|
+
result = code_to_fuzz.bin_xor_generated_function(*args)
|
203
203
|
self.assertEqual(result, expected)
|
204
204
|
|
205
|
-
def
|
206
|
-
args = (
|
205
|
+
def test_bin_xor_generated_function_33(self):
|
206
|
+
args = (False, False)
|
207
207
|
expected = False
|
208
|
-
result =
|
208
|
+
result = code_to_fuzz.bin_xor_generated_function(*args)
|
209
209
|
self.assertEqual(result, expected)
|
210
210
|
|
211
211
|
def test_mux_generated_function_34(self):
|
212
|
-
args = (
|
213
|
-
expected =
|
214
|
-
result =
|
212
|
+
args = (True, False, False, True, False, False)
|
213
|
+
expected = True
|
214
|
+
result = code_to_fuzz.mux_generated_function(*args)
|
215
215
|
self.assertEqual(result, expected)
|
216
216
|
|
217
217
|
def test_mux_generated_function_35(self):
|
218
|
-
args = (False, False, False, True, False
|
219
|
-
expected =
|
220
|
-
result =
|
218
|
+
args = (False, True, False, False, True, False)
|
219
|
+
expected = True
|
220
|
+
result = code_to_fuzz.mux_generated_function(*args)
|
221
221
|
self.assertEqual(result, expected)
|
222
222
|
|
223
223
|
def test_mux_generated_function_36(self):
|
224
|
-
args = (
|
225
|
-
expected =
|
226
|
-
result =
|
224
|
+
args = (True, False, False, False, True, True)
|
225
|
+
expected = False
|
226
|
+
result = code_to_fuzz.mux_generated_function(*args)
|
227
227
|
self.assertEqual(result, expected)
|
228
228
|
|
229
229
|
def test_mux_generated_function_37(self):
|
230
|
-
args = (False, False, True, False,
|
231
|
-
expected =
|
232
|
-
result =
|
230
|
+
args = (False, True, False, True, False, True)
|
231
|
+
expected = False
|
232
|
+
result = code_to_fuzz.mux_generated_function(*args)
|
233
233
|
self.assertEqual(result, expected)
|
234
234
|
|
235
235
|
def test_mux_generated_function_38(self):
|
236
|
-
args = (
|
236
|
+
args = (False, False, True, False, True, False)
|
237
237
|
expected = False
|
238
|
-
result =
|
238
|
+
result = code_to_fuzz.mux_generated_function(*args)
|
239
239
|
self.assertEqual(result, expected)
|
240
240
|
|
241
241
|
def test_mux_generated_function_39(self):
|
242
|
-
args = (True, False, False, False,
|
242
|
+
args = (True, False, False, False, False, False)
|
243
243
|
expected = False
|
244
|
-
result =
|
244
|
+
result = code_to_fuzz.mux_generated_function(*args)
|
245
245
|
self.assertEqual(result, expected)
|
246
246
|
|
247
247
|
def test_mux_generated_function_40(self):
|
248
|
+
args = (False, True, True, True, True, True)
|
249
|
+
expected = True
|
250
|
+
result = code_to_fuzz.mux_generated_function(*args)
|
251
|
+
self.assertEqual(result, expected)
|
252
|
+
|
253
|
+
def test_mux_generated_function_41(self):
|
254
|
+
args = (False, False, False, True, False, False)
|
255
|
+
expected = False
|
256
|
+
result = code_to_fuzz.mux_generated_function(*args)
|
257
|
+
self.assertEqual(result, expected)
|
258
|
+
|
259
|
+
def test_mux_generated_function_42(self):
|
248
260
|
args = (True, False, True, True, True, False)
|
249
261
|
expected = True
|
250
|
-
result =
|
262
|
+
result = code_to_fuzz.mux_generated_function(*args)
|
251
263
|
self.assertEqual(result, expected)
|
@@ -1,4 +1,4 @@
|
|
1
|
-
testgen/.coverage,sha256=
|
1
|
+
testgen/.coverage,sha256=Cp0ihR5Imuuiso9j7j71iuvxJfMY6aeVWNHee--RrXA,69632
|
2
2
|
testgen/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
3
3
|
testgen/analyzer/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
4
4
|
testgen/analyzer/ast_analyzer.py,sha256=fUtrJQsgnKeSKqKaXSO_ZsY_uQr2aPeyTQP9ToyFEg4,6886
|
@@ -14,17 +14,15 @@ testgen/analyzer/test_case_analyzer_context.py,sha256=7umDPHBjoTaCRvZOdNynpnWsr1
|
|
14
14
|
testgen/code_to_test/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
15
15
|
testgen/code_to_test/boolean.py,sha256=RM2byJDKFTx1FFrxnPG_uZWb24OcOH20Uh-D1Z-yPcE,3373
|
16
16
|
testgen/code_to_test/calculator.py,sha256=j7lw21BYg_vxaQVCrjOlhQOpObjSe5gu9xzthmdGphk,830
|
17
|
-
testgen/code_to_test/code_to_fuzz.py,sha256=
|
17
|
+
testgen/code_to_test/code_to_fuzz.py,sha256=ZmASYCtvqfW-x70ynjy0o7iA9WLVbvLuf2n2K1fPE9Y,9188
|
18
18
|
testgen/code_to_test/code_to_fuzz_lite.py,sha256=EjS4GB5klnJrvZIDDpS9iIt0iZETVJI0ez9DmihMiYc,10429
|
19
19
|
testgen/code_to_test/decisions.py,sha256=ZiW-EF1yTOWeQVZ7Xh0oIPHK2NSNPUzVxCY0E2GbYvQ,1376
|
20
20
|
testgen/code_to_test/math_utils.py,sha256=FqPQz5-e1oklzGyTVYNO8JMKDg5ob8z05VOlpKfKvvw,853
|
21
21
|
testgen/code_to_test/sample_code_bin.py,sha256=kMvV_-oFeAkxUmDx41Pw0iTTmMG1pvX31TezXPWMOkE,4225
|
22
22
|
testgen/controller/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
23
23
|
testgen/controller/cli_controller.py,sha256=A3TsJQT20UI2TlBqC7SyI8TG0n1vP_Itd1K8TRoD3ps,8735
|
24
|
-
testgen/controller/docker_controller.py,sha256=
|
24
|
+
testgen/controller/docker_controller.py,sha256=M6Q_tiAGX8j4lH1NLUFMTCreKXmoKTEpgo60z-KWVRg,8343
|
25
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
26
|
testgen/generator/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
29
27
|
testgen/generator/code_generator.py,sha256=-Nh5Jt4my29YWA_LKWn98I4jvDA-fNi6AGuw-vJhRV0,3171
|
30
28
|
testgen/generator/doctest_generator.py,sha256=Dkaf2l72ENk1mqNP3WkOnIY-iqrTHh-443AWtxzRWGY,8806
|
@@ -52,15 +50,13 @@ testgen/service/analysis_service.py,sha256=uPoPJFLh4Imf5y_Zd8pX9zxRijr-D0K0WV22Y
|
|
52
50
|
testgen/service/cfg_service.py,sha256=Czr91D5AHVq38yPKyhZDjM5jMObGPvY0yPE-PxNVBYM,2326
|
53
51
|
testgen/service/generator_service.py,sha256=3JCWRlg5UKNhKRG9VXIycDFmuYKsRTzEmhmtlxroWAc,8088
|
54
52
|
testgen/service/logging_service.py,sha256=tCv9LHL1gUScQQp34_iYoUxfCFzLRtFG_DXRsJ73SjA,3189
|
55
|
-
testgen/service/service.py,sha256=
|
53
|
+
testgen/service/service.py,sha256=tZz6IDsR7FjK53G9In0Bq1RlQtp2SXgcslJJ7Tmhj4I,21220
|
56
54
|
testgen/sqlite/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
57
55
|
testgen/sqlite/db.py,sha256=RUt88ndT4CQRo9aZzLGXPHRK1iw0LyDEGnoWlOLzKGM,2390
|
58
56
|
testgen/sqlite/db_service.py,sha256=F2ug_FBrYOQtJwM2cMkvQrTS54_VhWGDAHXndnTi-c8,9768
|
59
|
-
testgen/testgen.db,sha256=
|
57
|
+
testgen/testgen.db,sha256=Q70k6dPV651fhLhlYzN79KlCZD8zJexy7Cn7zGDIKHo,49152
|
60
58
|
testgen/tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
61
|
-
testgen/tests/
|
62
|
-
testgen/tests/test_code_to_fuzz_lite.py,sha256=B66_FNIULxkMIL48oSGx1fsxCo3tF4cp7VyhlrZAfZI,8574
|
63
|
-
testgen/tests/test_generated_boolean.py,sha256=QOmfu8sgWanrpY-OKY8u09l0q2Q7m4oJST6Llg64ka0,2493
|
59
|
+
testgen/tests/test_code_to_fuzz.py,sha256=lShIQgyb1qIElcsbUZ8pLLJB6dY1KVAA_Q76Aks6Dvg,8696
|
64
60
|
testgen/tree/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
65
61
|
testgen/tree/node.py,sha256=ONJtbACShN4yNj1X-UslFRgLyBP6mrbg7qZr3c6dWyA,165
|
66
62
|
testgen/tree/tree_utils.py,sha256=gT7jucky6_GWVOlDI6jpv6RMeWCkntGOHIYLvHxD85k,2122
|
@@ -76,34 +72,7 @@ testgen/util/z3_utils/branch_condition.py,sha256=N9FNR-iJmxIC62NpDQNVZ1OP14rXXqY
|
|
76
72
|
testgen/util/z3_utils/constraint_extractor.py,sha256=RXJLpmk6dAvHZ27839VXKXNtdy9St1F-17-pSEFu4bM,1285
|
77
73
|
testgen/util/z3_utils/variable_finder.py,sha256=dUh3F9_L_BDMz1ybiGss09LLcM_egbitgj0FT5Nh9u4,245
|
78
74
|
testgen/util/z3_utils/z3_test_case.py,sha256=yF4oJOrXMLzOwDUqXdoeg83MOTl3pvc_lYaZcS01CuQ,4983
|
79
|
-
|
80
|
-
|
81
|
-
|
82
|
-
|
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,,
|
75
|
+
testgenie_py-0.3.0.dist-info/METADATA,sha256=_z3mECZ_M5D3bTWvzG3zE3Qow3GnUP9yyqEIrhaax70,4350
|
76
|
+
testgenie_py-0.3.0.dist-info/WHEEL,sha256=fGIA9gx4Qxk2KDKeNJCbOEwSrmLtjWCwzBz351GyrPQ,88
|
77
|
+
testgenie_py-0.3.0.dist-info/entry_points.txt,sha256=OUN4GqB4zHlHWwWGjwIPbur4E_ZqQgkeeqaCLhzRZgg,47
|
78
|
+
testgenie_py-0.3.0.dist-info/RECORD,,
|
testgen/generated_boolean.py
DELETED
@@ -1,48 +0,0 @@
|
|
1
|
-
def bin_and(a: bool, b: bool):
|
2
|
-
if a == True:
|
3
|
-
if b == True:
|
4
|
-
return True
|
5
|
-
else:
|
6
|
-
return False
|
7
|
-
else:
|
8
|
-
if b == True:
|
9
|
-
return False
|
10
|
-
else:
|
11
|
-
return False
|
12
|
-
|
13
|
-
def bin_xor(a: bool, b: bool):
|
14
|
-
if a == True:
|
15
|
-
if b == True:
|
16
|
-
return False
|
17
|
-
else:
|
18
|
-
return True
|
19
|
-
else:
|
20
|
-
if b == True:
|
21
|
-
return True
|
22
|
-
else:
|
23
|
-
return False
|
24
|
-
|
25
|
-
def status_flags(active: bool, verified: bool, admin: bool):
|
26
|
-
if active == True:
|
27
|
-
if verified == True:
|
28
|
-
if admin == True:
|
29
|
-
return 'admin-verified'
|
30
|
-
else:
|
31
|
-
return 'user-verified'
|
32
|
-
else:
|
33
|
-
if admin == True:
|
34
|
-
return 'admin-unverified'
|
35
|
-
else:
|
36
|
-
return 'user-unverified'
|
37
|
-
else:
|
38
|
-
if verified == True:
|
39
|
-
if admin == True:
|
40
|
-
return 'admin-verified'
|
41
|
-
else:
|
42
|
-
return 'inactive'
|
43
|
-
else:
|
44
|
-
if admin == True:
|
45
|
-
return 'admin-unverified'
|
46
|
-
else:
|
47
|
-
return 'inactive'
|
48
|
-
|