testgenie-py 0.3.0__py3-none-any.whl → 0.3.1__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 (21) hide show
  1. testgen/analyzer/ast_analyzer.py +0 -1
  2. testgen/controller/cli_controller.py +9 -0
  3. testgen/controller/docker_controller.py +9 -1
  4. testgen/generator/doctest_generator.py +0 -1
  5. testgen/service/service.py +33 -0
  6. testgen/testgen.db +0 -0
  7. {testgenie_py-0.3.0.dist-info → testgenie_py-0.3.1.dist-info}/METADATA +1 -1
  8. {testgenie_py-0.3.0.dist-info → testgenie_py-0.3.1.dist-info}/RECORD +10 -21
  9. testgen/.coverage +0 -0
  10. testgen/code_to_test/__init__.py +0 -0
  11. testgen/code_to_test/boolean.py +0 -146
  12. testgen/code_to_test/calculator.py +0 -29
  13. testgen/code_to_test/code_to_fuzz.py +0 -329
  14. testgen/code_to_test/code_to_fuzz_lite.py +0 -397
  15. testgen/code_to_test/decisions.py +0 -57
  16. testgen/code_to_test/math_utils.py +0 -47
  17. testgen/code_to_test/sample_code_bin.py +0 -141
  18. testgen/tests/__init__.py +0 -0
  19. testgen/tests/test_code_to_fuzz.py +0 -263
  20. {testgenie_py-0.3.0.dist-info → testgenie_py-0.3.1.dist-info}/WHEEL +0 -0
  21. {testgenie_py-0.3.0.dist-info → testgenie_py-0.3.1.dist-info}/entry_points.txt +0 -0
testgen/code_to_test/code_to_fuzz.py DELETED
@@ -1,329 +0,0 @@
1
- def random_fuzz_code(x: int, y: int) -> int:
2
- result = x
3
- if x < y:
4
- result += y
5
- else:
6
- result -= y
7
- return result
8
-
9
-
10
- def bin_and(a: bool, b: bool) -> bool:
11
- if a == True:
12
- if b == True:
13
- return True
14
- else:
15
- return False
16
- else:
17
- return False
18
-
19
-
20
- def pos_or_neg(i: int):
21
- if i > 0:
22
- sgn = 1
23
- else:
24
- sgn = -1
25
- if sgn > 0:
26
- return 1
27
- elif sgn < 0:
28
- return -1
29
- # else sgn == 0
30
- # no return here
31
-
32
-
33
- def int_even(x: int):
34
- if x % 2 == 0:
35
- return True
36
- else:
37
- return False
38
-
39
- def http_code(code: int) ->str:
40
- if code < 100 or code > 599:
41
- return 'invalid'
42
- elif 100 <= code < 200:
43
- return 'informational'
44
- elif 200 <= code < 300:
45
- return 'success'
46
- elif 300 <= code < 400:
47
- return 'redirection'
48
- elif 400 <= code < 500:
49
- return 'client error'
50
- else:
51
- return 'server error'
52
-
53
- def add_or_subtract(x: int, y: int) ->int:
54
- result = x
55
- if x < y:
56
- result += y
57
- else:
58
- result -= y
59
- return result
60
-
61
- def bin_and_bad_generated_function(a: bool, b: bool):
62
- if a == True:
63
- if b == True:
64
- return True
65
- else:
66
- return True
67
- else:
68
- if b == True:
69
- return True
70
- else:
71
- return False
72
-
73
-
74
- def bin_nand_generated_function(a: bool, b: bool):
75
- if a == True:
76
- if b == True:
77
- return False
78
- else:
79
- return True
80
- else:
81
- if b == True:
82
- return True
83
- else:
84
- return True
85
-
86
-
87
- def bin_nor_generated_function(a: bool, b: bool):
88
- if a == True:
89
- if b == True:
90
- return False
91
- else:
92
- return False
93
- else:
94
- if b == True:
95
- return False
96
- else:
97
- return True
98
-
99
-
100
- def bin_or_generated_function(a: bool, b: bool):
101
- if a == True:
102
- if b == True:
103
- return True
104
- else:
105
- return True
106
- else:
107
- if b == True:
108
- return True
109
- else:
110
- return False
111
-
112
-
113
- def bin_or_bad_generated_function(a: bool, b: bool):
114
- if a == True:
115
- if b == True:
116
- return False
117
- else:
118
- return False
119
- else:
120
- if b == True:
121
- return False
122
- else:
123
- return True
124
-
125
-
126
- def bin_xor_generated_function(a: bool, b: bool):
127
- if a == True:
128
- if b == True:
129
- return False
130
- else:
131
- return True
132
- else:
133
- if b == True:
134
- return True
135
- else:
136
- return False
137
-
138
-
139
- def mux_generated_function(c1: bool, c2: bool, x0: bool, x1: bool, x2: bool, x3: bool):
140
- if c1 == True:
141
- if c2 == True:
142
- if x0 == True:
143
- if x1 == True:
144
- if x2 == True:
145
- if x3 == True:
146
- return True
147
- else:
148
- return True
149
- else:
150
- if x3 == True:
151
- return True
152
- else:
153
- return True
154
- else:
155
- if x2 == True:
156
- if x3 == True:
157
- return True
158
- else:
159
- return True
160
- else:
161
- if x3 == True:
162
- return True
163
- else:
164
- return True
165
- else:
166
- if x1 == True:
167
- if x2 == True:
168
- if x3 == True:
169
- return False
170
- else:
171
- return False
172
- else:
173
- if x3 == True:
174
- return False
175
- else:
176
- return False
177
- else:
178
- if x2 == True:
179
- if x3 == True:
180
- return False
181
- else:
182
- return False
183
- else:
184
- if x3 == True:
185
- return False
186
- else:
187
- return False
188
- else:
189
- if x0 == True:
190
- if x1 == True:
191
- if x2 == True:
192
- if x3 == True:
193
- return True
194
- else:
195
- return True
196
- else:
197
- if x3 == True:
198
- return True
199
- else:
200
- return True
201
- else:
202
- if x2 == True:
203
- if x3 == True:
204
- return False
205
- else:
206
- return False
207
- else:
208
- if x3 == True:
209
- return False
210
- else:
211
- return False
212
- else:
213
- if x1 == True:
214
- if x2 == True:
215
- if x3 == True:
216
- return True
217
- else:
218
- return True
219
- else:
220
- if x3 == True:
221
- return True
222
- else:
223
- return True
224
- else:
225
- if x2 == True:
226
- if x3 == True:
227
- return False
228
- else:
229
- return False
230
- else:
231
- if x3 == True:
232
- return False
233
- else:
234
- return False
235
- else:
236
- if c2 == True:
237
- if x0 == True:
238
- if x1 == True:
239
- if x2 == True:
240
- if x3 == True:
241
- return True
242
- else:
243
- return True
244
- else:
245
- if x3 == True:
246
- return False
247
- else:
248
- return False
249
- else:
250
- if x2 == True:
251
- if x3 == True:
252
- return True
253
- else:
254
- return True
255
- else:
256
- if x3 == True:
257
- return False
258
- else:
259
- return False
260
- else:
261
- if x1 == True:
262
- if x2 == True:
263
- if x3 == True:
264
- return True
265
- else:
266
- return True
267
- else:
268
- if x3 == True:
269
- return False
270
- else:
271
- return False
272
- else:
273
- if x2 == True:
274
- if x3 == True:
275
- return True
276
- else:
277
- return True
278
- else:
279
- if x3 == True:
280
- return False
281
- else:
282
- return False
283
- else:
284
- if x0 == True:
285
- if x1 == True:
286
- if x2 == True:
287
- if x3 == True:
288
- return True
289
- else:
290
- return False
291
- else:
292
- if x3 == True:
293
- return True
294
- else:
295
- return False
296
- else:
297
- if x2 == True:
298
- if x3 == True:
299
- return True
300
- else:
301
- return False
302
- else:
303
- if x3 == True:
304
- return True
305
- else:
306
- return False
307
- else:
308
- if x1 == True:
309
- if x2 == True:
310
- if x3 == True:
311
- return True
312
- else:
313
- return False
314
- else:
315
- if x3 == True:
316
- return True
317
- else:
318
- return False
319
- else:
320
- if x2 == True:
321
- if x3 == True:
322
- return True
323
- else:
324
- return False
325
- else:
326
- if x3 == True:
327
- return True
328
- else:
329
- return False
testgen/code_to_test/code_to_fuzz_lite.py DELETED
@@ -1,397 +0,0 @@
1
- def random_fuzz_code(x: int, y: int) -> int:
2
- """
3
- >>> random_fuzz_code(-2130231320, -1191318765)
4
- -3321550085
5
- >>> random_fuzz_code(-339569712, -1002922858)
6
- 663353146
7
- """
8
-
9
- result = x
10
- if x < y:
11
- result += y
12
- else:
13
- result -= y
14
- return result
15
-
16
-
17
- def bin_and(a: bool, b: bool) -> bool:
18
- """
19
- >>> bin_and(False, False)
20
- False
21
- >>> bin_and(True, True)
22
- True
23
- >>> bin_and(True, False)
24
- False
25
- """
26
- if a == True:
27
- if b == True:
28
- return True
29
- else:
30
- return False
31
- else:
32
- return False
33
-
34
-
35
- def pos_or_neg(i: int):
36
- """
37
- >>> pos_or_neg(1846918201)
38
- 1
39
- >>> pos_or_neg(-1651100677)
40
- -1
41
- """
42
-
43
- if i > 0:
44
- sgn = 1
45
- else:
46
- sgn = -1
47
- if sgn > 0:
48
- return 1
49
- elif sgn < 0:
50
- return -1
51
- # else sgn == 0
52
- # no return here
53
-
54
-
55
- def int_even(x: int):
56
- """
57
- >>> int_even(-629738975)
58
- False
59
- >>> int_even(-418984868)
60
- True
61
- """
62
-
63
- if x % 2 == 0:
64
- return True
65
- else:
66
- return False
67
-
68
-
69
- def bin_and_bad_generated_function(a: bool, b: bool):
70
- """
71
- >>> bin_and_bad_generated_function(False, False)
72
- False
73
- >>> bin_and_bad_generated_function(True, True)
74
- True
75
- >>> bin_and_bad_generated_function(True, False)
76
- True
77
- >>> bin_and_bad_generated_function(False, True)
78
- True
79
- """
80
-
81
- if a == True:
82
- if b == True:
83
- return True
84
- else:
85
- return True
86
- else:
87
- if b == True:
88
- return True
89
- else:
90
- return False
91
-
92
-
93
- def bin_nand_generated_function(a: bool, b: bool):
94
- """
95
- >>> bin_nand_generated_function(True, False)
96
- True
97
- >>> bin_nand_generated_function(False, False)
98
- True
99
- >>> bin_nand_generated_function(False, True)
100
- True
101
- >>> bin_nand_generated_function(True, True)
102
- False
103
- """
104
-
105
- if a == True:
106
- if b == True:
107
- return False
108
- else:
109
- return True
110
- else:
111
- if b == True:
112
- return True
113
- else:
114
- return True
115
-
116
-
117
- def bin_nor_generated_function(a: bool, b: bool):
118
- """
119
- >>> bin_nor_generated_function(False, False)
120
- True
121
- >>> bin_nor_generated_function(True, False)
122
- False
123
- >>> bin_nor_generated_function(False, True)
124
- False
125
- """
126
-
127
- if a == True:
128
- if b == True:
129
- return False
130
- else:
131
- return False
132
- else:
133
- if b == True:
134
- return False
135
- else:
136
- return True
137
-
138
-
139
- def bin_or_generated_function(a: bool, b: bool):
140
- """
141
- >>> bin_or_generated_function(False, False)
142
- False
143
- >>> bin_or_generated_function(False, True)
144
- True
145
- >>> bin_or_generated_function(True, False)
146
- True
147
- """
148
-
149
- if a == True:
150
- if b == True:
151
- return True
152
- else:
153
- return True
154
- else:
155
- if b == True:
156
- return True
157
- else:
158
- return False
159
-
160
-
161
- def bin_or_bad_generated_function(a: bool, b: bool):
162
- """
163
- >>> bin_or_bad_generated_function(False, False)
164
- True
165
- >>> bin_or_bad_generated_function(True, True)
166
- False
167
- >>> bin_or_bad_generated_function(True, False)
168
- False
169
- >>> bin_or_bad_generated_function(False, True)
170
- False
171
- """
172
-
173
- if a == True:
174
- if b == True:
175
- return False
176
- else:
177
- return False
178
- else:
179
- if b == True:
180
- return False
181
- else:
182
- return True
183
-
184
-
185
- def bin_xor_generated_function(a: bool, b: bool):
186
- """
187
- >>> bin_xor_generated_function(False, False)
188
- False
189
- >>> bin_xor_generated_function(False, True)
190
- True
191
- >>> bin_xor_generated_function(True, True)
192
- False
193
- """
194
-
195
- if a == True:
196
- if b == True:
197
- return False
198
- else:
199
- return True
200
- else:
201
- if b == True:
202
- return True
203
- else:
204
- return False
205
-
206
-
207
- def mux_generated_function(c1: bool, c2: bool, x0: bool, x1: bool, x2: bool, x3: bool):
208
- if c1 == True:
209
- if c2 == True:
210
- if x0 == True:
211
- if x1 == True:
212
- if x2 == True:
213
- if x3 == True:
214
- return True
215
- else:
216
- return True
217
- else:
218
- if x3 == True:
219
- return True
220
- else:
221
- return True
222
- else:
223
- if x2 == True:
224
- if x3 == True:
225
- return True
226
- else:
227
- return True
228
- else:
229
- if x3 == True:
230
- return True
231
- else:
232
- return True
233
- else:
234
- if x1 == True:
235
- if x2 == True:
236
- if x3 == True:
237
- return False
238
- else:
239
- return False
240
- else:
241
- if x3 == True:
242
- return False
243
- else:
244
- return False
245
- else:
246
- if x2 == True:
247
- if x3 == True:
248
- return False
249
- else:
250
- return False
251
- else:
252
- if x3 == True:
253
- return False
254
- else:
255
- return False
256
- else:
257
- if x0 == True:
258
- if x1 == True:
259
- if x2 == True:
260
- if x3 == True:
261
- return True
262
- else:
263
- return True
264
- else:
265
- if x3 == True:
266
- return True
267
- else:
268
- return True
269
- else:
270
- if x2 == True:
271
- if x3 == True:
272
- return False
273
- else:
274
- return False
275
- else:
276
- if x3 == True:
277
- return False
278
- else:
279
- return False
280
- else:
281
- if x1 == True:
282
- if x2 == True:
283
- if x3 == True:
284
- return True
285
- else:
286
- return True
287
- else:
288
- if x3 == True:
289
- return True
290
- else:
291
- return True
292
- else:
293
- if x2 == True:
294
- if x3 == True:
295
- return False
296
- else:
297
- return False
298
- else:
299
- if x3 == True:
300
- return False
301
- else:
302
- return False
303
- else:
304
- if c2 == True:
305
- if x0 == True:
306
- if x1 == True:
307
- if x2 == True:
308
- if x3 == True:
309
- return True
310
- else:
311
- return True
312
- else:
313
- if x3 == True:
314
- return False
315
- else:
316
- return False
317
- else:
318
- if x2 == True:
319
- if x3 == True:
320
- return True
321
- else:
322
- return True
323
- else:
324
- if x3 == True:
325
- return False
326
- else:
327
- return False
328
- else:
329
- if x1 == True:
330
- if x2 == True:
331
- if x3 == True:
332
- return True
333
- else:
334
- return True
335
- else:
336
- if x3 == True:
337
- return False
338
- else:
339
- return False
340
- else:
341
- if x2 == True:
342
- if x3 == True:
343
- return True
344
- else:
345
- return True
346
- else:
347
- if x3 == True:
348
- return False
349
- else:
350
- return False
351
- else:
352
- if x0 == True:
353
- if x1 == True:
354
- if x2 == True:
355
- if x3 == True:
356
- return True
357
- else:
358
- return False
359
- else:
360
- if x3 == True:
361
- return True
362
- else:
363
- return False
364
- else:
365
- if x2 == True:
366
- if x3 == True:
367
- return True
368
- else:
369
- return False
370
- else:
371
- if x3 == True:
372
- return True
373
- else:
374
- return False
375
- else:
376
- if x1 == True:
377
- if x2 == True:
378
- if x3 == True:
379
- return True
380
- else:
381
- return False
382
- else:
383
- if x3 == True:
384
- return True
385
- else:
386
- return False
387
- else:
388
- if x2 == True:
389
- if x3 == True:
390
- return True
391
- else:
392
- return False
393
- else:
394
- if x3 == True:
395
- return True
396
- else:
397
- return False