testgenie-py 0.2.9__py3-none-any.whl → 0.3.0__py3-none-any.whl

testgen/tests/test_code_to_fuzz.py

@@ -0,0 +1,263 @@
+import unittest
+
+import testgen.code_to_test.code_to_fuzz as code_to_fuzz
+
+class TestNone(unittest.TestCase):  
+
+   def test_random_fuzz_code_0(self):
+      args = (1927227313, 775789320)
+      expected = 1151437993
+      result = code_to_fuzz.random_fuzz_code(*args)
+      self.assertEqual(result, expected)
+
+   def test_random_fuzz_code_1(self):
+      args = (1359311181, 1603562853)
+      expected = 2962874034
+      result = code_to_fuzz.random_fuzz_code(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_and_2(self):
+      args = (False, False)
+      expected = False
+      result = code_to_fuzz.bin_and(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_and_3(self):
+      args = (True, True)
+      expected = True
+      result = code_to_fuzz.bin_and(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_and_4(self):
+      args = (True, False)
+      expected = False
+      result = code_to_fuzz.bin_and(*args)
+      self.assertEqual(result, expected)
+
+   def test_pos_or_neg_5(self):
+      args = 1381971091
+      expected = 1
+      result = code_to_fuzz.pos_or_neg(args)
+      self.assertEqual(result, expected)
+
+   def test_pos_or_neg_6(self):
+      args = -1792272568
+      expected = -1
+      result = code_to_fuzz.pos_or_neg(args)
+      self.assertEqual(result, expected)
+
+   def test_int_even_7(self):
+      args = 612556544
+      expected = True
+      result = code_to_fuzz.int_even(args)
+      self.assertEqual(result, expected)
+
+   def test_int_even_8(self):
+      args = 1538337835
+      expected = False
+      result = code_to_fuzz.int_even(args)
+      self.assertEqual(result, expected)
+
+   def test_http_code_9(self):
+      args = 1748799535
+      expected = 'invalid'
+      result = code_to_fuzz.http_code(args)
+      self.assertEqual(result, expected)
+
+   def test_add_or_subtract_10(self):
+      args = (1167731537, 1136934405)
+      expected = 30797132
+      result = code_to_fuzz.add_or_subtract(*args)
+      self.assertEqual(result, expected)
+
+   def test_add_or_subtract_11(self):
+      args = (506636609, 1260222214)
+      expected = 1766858823
+      result = code_to_fuzz.add_or_subtract(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_and_bad_generated_function_12(self):
+      args = (False, False)
+      expected = False
+      result = code_to_fuzz.bin_and_bad_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_and_bad_generated_function_13(self):
+      args = (True, True)
+      expected = True
+      result = code_to_fuzz.bin_and_bad_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_and_bad_generated_function_14(self):
+      args = (False, True)
+      expected = True
+      result = code_to_fuzz.bin_and_bad_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_nand_generated_function_15(self):
+      args = (False, False)
+      expected = True
+      result = code_to_fuzz.bin_nand_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_nand_generated_function_16(self):
+      args = (True, True)
+      expected = False
+      result = code_to_fuzz.bin_nand_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_nand_generated_function_17(self):
+      args = (True, False)
+      expected = True
+      result = code_to_fuzz.bin_nand_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_nand_generated_function_18(self):
+      args = (False, True)
+      expected = True
+      result = code_to_fuzz.bin_nand_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_nor_generated_function_19(self):
+      args = (True, True)
+      expected = False
+      result = code_to_fuzz.bin_nor_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_nor_generated_function_20(self):
+      args = (False, True)
+      expected = False
+      result = code_to_fuzz.bin_nor_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_nor_generated_function_21(self):
+      args = (True, False)
+      expected = False
+      result = code_to_fuzz.bin_nor_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_or_generated_function_22(self):
+      args = (False, True)
+      expected = True
+      result = code_to_fuzz.bin_or_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_or_generated_function_23(self):
+      args = (True, False)
+      expected = True
+      result = code_to_fuzz.bin_or_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_or_generated_function_24(self):
+      args = (True, True)
+      expected = True
+      result = code_to_fuzz.bin_or_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_or_generated_function_25(self):
+      args = (False, False)
+      expected = False
+      result = code_to_fuzz.bin_or_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_or_bad_generated_function_26(self):
+      args = (False, True)
+      expected = False
+      result = code_to_fuzz.bin_or_bad_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_or_bad_generated_function_27(self):
+      args = (True, True)
+      expected = False
+      result = code_to_fuzz.bin_or_bad_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_or_bad_generated_function_28(self):
+      args = (False, False)
+      expected = True
+      result = code_to_fuzz.bin_or_bad_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_or_bad_generated_function_29(self):
+      args = (True, False)
+      expected = False
+      result = code_to_fuzz.bin_or_bad_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_xor_generated_function_30(self):
+      args = (True, True)
+      expected = False
+      result = code_to_fuzz.bin_xor_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_xor_generated_function_31(self):
+      args = (True, False)
+      expected = True
+      result = code_to_fuzz.bin_xor_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_xor_generated_function_32(self):
+      args = (False, True)
+      expected = True
+      result = code_to_fuzz.bin_xor_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_bin_xor_generated_function_33(self):
+      args = (False, False)
+      expected = False
+      result = code_to_fuzz.bin_xor_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_mux_generated_function_34(self):
+      args = (True, False, False, True, False, False)
+      expected = True
+      result = code_to_fuzz.mux_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_mux_generated_function_35(self):
+      args = (False, True, False, False, True, False)
+      expected = True
+      result = code_to_fuzz.mux_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_mux_generated_function_36(self):
+      args = (True, False, False, False, True, True)
+      expected = False
+      result = code_to_fuzz.mux_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_mux_generated_function_37(self):
+      args = (False, True, False, True, False, True)
+      expected = False
+      result = code_to_fuzz.mux_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_mux_generated_function_38(self):
+      args = (False, False, True, False, True, False)
+      expected = False
+      result = code_to_fuzz.mux_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_mux_generated_function_39(self):
+      args = (True, False, False, False, False, False)
+      expected = False
+      result = code_to_fuzz.mux_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_mux_generated_function_40(self):
+      args = (False, True, True, True, True, True)
+      expected = True
+      result = code_to_fuzz.mux_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_mux_generated_function_41(self):
+      args = (False, False, False, True, False, False)
+      expected = False
+      result = code_to_fuzz.mux_generated_function(*args)
+      self.assertEqual(result, expected)
+
+   def test_mux_generated_function_42(self):
+      args = (True, False, True, True, True, False)
+      expected = True
+      result = code_to_fuzz.mux_generated_function(*args)
+      self.assertEqual(result, expected)

{testgenie_py-0.2.9.dist-info → testgenie_py-0.3.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.3
 Name: testgenie-py
-Version: 0.2.9
+Version: 0.3.0
 Summary: Automated unit test generation tool for Python.
 Author: cjseitz
 Author-email: charlesjseitz@gmail.com

{testgenie_py-0.2.9.dist-info → testgenie_py-0.3.0.dist-info}/RECORD

@@ -1,3 +1,4 @@
+testgen/.coverage,sha256=Cp0ihR5Imuuiso9j7j71iuvxJfMY6aeVWNHee--RrXA,69632
 testgen/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 testgen/analyzer/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 testgen/analyzer/ast_analyzer.py,sha256=fUtrJQsgnKeSKqKaXSO_ZsY_uQr2aPeyTQP9ToyFEg4,6886
@@ -10,12 +11,18 @@ testgen/analyzer/random_feedback_analyzer.py,sha256=hDcNIWE4BFtsoyXHWyxcC1qeq7y9
 testgen/analyzer/reinforcement_analyzer.py,sha256=U6W7g-xDFS_P0aqxjPRnaXjGp2gOC9TMdfWaetFV7eE,3568
 testgen/analyzer/test_case_analyzer.py,sha256=0qLcRKOrQ4Uyh1ZMecVTkY9bWjNnx7OridigNyjfUk4,1620
 testgen/analyzer/test_case_analyzer_context.py,sha256=7umDPHBjoTaCRvZOdNynpnWsr14Gy0E2hpMBPK8mz3Q,2128
+testgen/code_to_test/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+testgen/code_to_test/boolean.py,sha256=RM2byJDKFTx1FFrxnPG_uZWb24OcOH20Uh-D1Z-yPcE,3373
+testgen/code_to_test/calculator.py,sha256=j7lw21BYg_vxaQVCrjOlhQOpObjSe5gu9xzthmdGphk,830
+testgen/code_to_test/code_to_fuzz.py,sha256=ZmASYCtvqfW-x70ynjy0o7iA9WLVbvLuf2n2K1fPE9Y,9188
+testgen/code_to_test/code_to_fuzz_lite.py,sha256=EjS4GB5klnJrvZIDDpS9iIt0iZETVJI0ez9DmihMiYc,10429
+testgen/code_to_test/decisions.py,sha256=ZiW-EF1yTOWeQVZ7Xh0oIPHK2NSNPUzVxCY0E2GbYvQ,1376
+testgen/code_to_test/math_utils.py,sha256=FqPQz5-e1oklzGyTVYNO8JMKDg5ob8z05VOlpKfKvvw,853
+testgen/code_to_test/sample_code_bin.py,sha256=kMvV_-oFeAkxUmDx41Pw0iTTmMG1pvX31TezXPWMOkE,4225
 testgen/controller/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 testgen/controller/cli_controller.py,sha256=A3TsJQT20UI2TlBqC7SyI8TG0n1vP_Itd1K8TRoD3ps,8735
 testgen/controller/docker_controller.py,sha256=M6Q_tiAGX8j4lH1NLUFMTCreKXmoKTEpgo60z-KWVRg,8343
 testgen/docker/Dockerfile,sha256=6mutzP0ZkVueuvMLCOy2bsyGxWjLHU-cq7RFkuC8r5Y,781
-testgen/generated_boolean.py,sha256=i5at_BZ7YHtveTMYB0JKMFIkBe7cwhCeF5AViLhNoWA,1146
-testgen/generated_samplecodebin.py,sha256=pf_aYtcfpjZzgiZ_FiBOxfug_ii3dRX0jnozBgQm7Xw,17030
 testgen/generator/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 testgen/generator/code_generator.py,sha256=-Nh5Jt4my29YWA_LKWn98I4jvDA-fNi6AGuw-vJhRV0,3171
 testgen/generator/doctest_generator.py,sha256=Dkaf2l72ENk1mqNP3WkOnIY-iqrTHh-443AWtxzRWGY,8806
@@ -43,11 +50,13 @@ testgen/service/analysis_service.py,sha256=uPoPJFLh4Imf5y_Zd8pX9zxRijr-D0K0WV22Y
 testgen/service/cfg_service.py,sha256=Czr91D5AHVq38yPKyhZDjM5jMObGPvY0yPE-PxNVBYM,2326
 testgen/service/generator_service.py,sha256=3JCWRlg5UKNhKRG9VXIycDFmuYKsRTzEmhmtlxroWAc,8088
 testgen/service/logging_service.py,sha256=tCv9LHL1gUScQQp34_iYoUxfCFzLRtFG_DXRsJ73SjA,3189
-testgen/service/service.py,sha256=j_tbvale6rIHfBFtJKWT1CYzSRT5tN6muU2RxaQRRRA,20875
+testgen/service/service.py,sha256=tZz6IDsR7FjK53G9In0Bq1RlQtp2SXgcslJJ7Tmhj4I,21220
 testgen/sqlite/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 testgen/sqlite/db.py,sha256=RUt88ndT4CQRo9aZzLGXPHRK1iw0LyDEGnoWlOLzKGM,2390
 testgen/sqlite/db_service.py,sha256=F2ug_FBrYOQtJwM2cMkvQrTS54_VhWGDAHXndnTi-c8,9768
-testgen/testgen.db,sha256=EQVBRtHL8KcjzXni8Hrg2XwSyXWWt6GXY82NGHklfgE,45056
+testgen/testgen.db,sha256=Q70k6dPV651fhLhlYzN79KlCZD8zJexy7Cn7zGDIKHo,49152
+testgen/tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+testgen/tests/test_code_to_fuzz.py,sha256=lShIQgyb1qIElcsbUZ8pLLJB6dY1KVAA_Q76Aks6Dvg,8696
 testgen/tree/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 testgen/tree/node.py,sha256=ONJtbACShN4yNj1X-UslFRgLyBP6mrbg7qZr3c6dWyA,165
 testgen/tree/tree_utils.py,sha256=gT7jucky6_GWVOlDI6jpv6RMeWCkntGOHIYLvHxD85k,2122
@@ -63,7 +72,7 @@ testgen/util/z3_utils/branch_condition.py,sha256=N9FNR-iJmxIC62NpDQNVZ1OP14rXXqY
 testgen/util/z3_utils/constraint_extractor.py,sha256=RXJLpmk6dAvHZ27839VXKXNtdy9St1F-17-pSEFu4bM,1285
 testgen/util/z3_utils/variable_finder.py,sha256=dUh3F9_L_BDMz1ybiGss09LLcM_egbitgj0FT5Nh9u4,245
 testgen/util/z3_utils/z3_test_case.py,sha256=yF4oJOrXMLzOwDUqXdoeg83MOTl3pvc_lYaZcS01CuQ,4983
-testgenie_py-0.2.9.dist-info/METADATA,sha256=x8FM6FoDZMDEwwrMGBT3JN_FXGA2edB4sNl2SQkWjcs,4350
-testgenie_py-0.2.9.dist-info/WHEEL,sha256=fGIA9gx4Qxk2KDKeNJCbOEwSrmLtjWCwzBz351GyrPQ,88
-testgenie_py-0.2.9.dist-info/entry_points.txt,sha256=OUN4GqB4zHlHWwWGjwIPbur4E_ZqQgkeeqaCLhzRZgg,47
-testgenie_py-0.2.9.dist-info/RECORD,,
+testgenie_py-0.3.0.dist-info/METADATA,sha256=_z3mECZ_M5D3bTWvzG3zE3Qow3GnUP9yyqEIrhaax70,4350
+testgenie_py-0.3.0.dist-info/WHEEL,sha256=fGIA9gx4Qxk2KDKeNJCbOEwSrmLtjWCwzBz351GyrPQ,88
+testgenie_py-0.3.0.dist-info/entry_points.txt,sha256=OUN4GqB4zHlHWwWGjwIPbur4E_ZqQgkeeqaCLhzRZgg,47
+testgenie_py-0.3.0.dist-info/RECORD,,

testgen/generated_boolean.py

@@ -1,48 +0,0 @@
-def bin_and(a: bool, b: bool):
-    if a == True:
-        if b == True:
-            return True
-        else:
-            return False
-    else:
-        if b == True:
-            return False
-        else:
-            return False
-
-def bin_xor(a: bool, b: bool):
-    if a == True:
-        if b == True:
-            return False
-        else:
-            return True
-    else:
-        if b == True:
-            return True
-        else:
-            return False
-
-def status_flags(active: bool, verified: bool, admin: bool):
-    if active == True:
-        if verified == True:
-            if admin == True:
-                return 'admin-verified'
-            else:
-                return 'user-verified'
-        else:
-            if admin == True:
-                return 'admin-unverified'
-            else:
-                return 'user-unverified'
-    else:
-        if verified == True:
-            if admin == True:
-                return 'admin-verified'
-            else:
-                return 'inactive'
-        else:
-            if admin == True:
-                return 'admin-unverified'
-            else:
-                return 'inactive'
-