testgenie-py 0.2.1__py3-none-any.whl → 0.2.3__py3-none-any.whl

testgen/q_table/global_q_table.json

@@ -1 +0,0 @@
-{"(0.0, 0)|add": 1.0147553256632154, "(62.5, 1)|z3": -0.020000000000000004, "(62.5, 3)|add": -0.010000000000000002, "(62.5, 4)|add": 0.18000000000000002, "(87.5, 5)|add": 0.06100000000000001, "(75.0, 1)|add": 0.7892791100000003, "(87.5, 2)|add": 0.3650931000000001, "(87.5, 3)|z3": 0.0, "(87.5, 3)|add": 0.0881, "(87.5, 4)|add": 0.26100000000000007, "(87.5, 2)|remove": -0.09000000000000001, "(62.5, 1)|add": 0.07100000000000001, "(62.5, 2)|add": -0.019000000000000003, "(62.5, 3)|z3": -0.020000000000000004, "(62.5, 5)|add": -0.010000000000000002, "(62.5, 6)|add": -0.010000000000000002, "(62.5, 7)|add": 0.07100000000000001, "(87.5, 8)|add": -0.010000000000000002, "(87.5, 9)|z3": -0.010000000000000002, "(87.5, 3)|remove": -0.09000000000000001, "(62.5, 2)|z3": -0.020900000000000002, "(62.5, 4)|merge": -0.010000000000000002, "(62.5, 5)|merge": -0.010000000000000002, "(62.5, 6)|remove": 0.010000000000000002, "(62.5, 5)|z3": -0.011000000000000001, "(87.5, 3)|merge": 0.08000000000000002, "(62.5, 4)|remove": 0.010000000000000002, "(62.5, 3)|merge": -0.0009999999999999996, "(87.5, 6)|z3": 0.0, "(87.5, 6)|merge": 0.09000000000000001, "(87.5, 2)|z3": -0.0009999999999999996, "(75.0, 1)|z3": 0.10056590000000001, "(60.0, 1)|add": 0.37652963100000003, "(60.0, 2)|add": 0.169, "(70.0, 3)|add": 0.23680000000000007, "(90.0, 4)|add": 0.08319800000000001, "(90.0, 5)|add": 0.1629, "(90.0, 6)|add": 0.07234900000000001, "(90.0, 7)|z3": -0.0046099999999999995, "(90.0, 7)|merge": -0.010000000000000002, "(90.0, 8)|add": -0.019000000000000003, "(0.0, 0)|z3": 0.20518, "(60.0, 4)|add": 0.24390000000000006, "(70.0, 5)|add": -0.010000000000000002, "(70.0, 6)|remove": 0.019000000000000003, "(70.0, 5)|z3": -0.020000000000000004, "(70.0, 7)|add": -0.010000000000000002, "(70.0, 8)|z3": -0.020000000000000004, "(70.0, 10)|add": 0.09000000000000001, "(60.0, 2)|z3": 0.08000000000000002, "(70.0, 4)|add": 0.06100000000000001, "(90.0, 5)|z3": -0.010000000000000002, "(90.0, 6)|z3": -0.0029, "(90.0, 6)|merge": -0.010000000000000002, "(90.0, 7)|add": 0.04390000000000001, "(60.0, 1)|z3": 0.26273490000000005, "(70.0, 5)|merge": -0.009, "(70.0, 5)|remove": -0.08100000000000002, "(80.0, 5)|z3": -0.001104690000000002, "(80.0, 6)|add": 0.18449000000000004, "(80.0, 2)|add": 0.07100000000000001, "(80.0, 3)|add": -0.019000000000000003, "(80.0, 4)|z3": 0.04380000000000001, "(90.0, 8)|z3": -0.010000000000000002, "(90.0, 9)|add": -0.010000000000000002, "(80.0, 3)|remove": -0.13661000000000004, "(90.0, 4)|z3": 0.0, "(90.0, 4)|remove": 0.054200000000000005, "(90.0, 3)|add": 0.18000000000000002, "(90.0, 3)|z3": -0.0072000000000000015, "(80.0, 2)|z3": -0.011900000000000003, "(80.0, 3)|z3": -0.0009999999999999996, "(60.0, 4)|remove": 0.010000000000000002, "(60.0, 3)|add": 0.08710000000000002, "(80.0, 5)|add": 0.079449, "(90.0, 6)|remove": -0.08100000000000002, "(53.84615384615385, 1)|add": 1.2104837900000005, "(76.92307692307693, 2)|remove": -0.09000000000000001, "(61.53846153846154, 1)|add": 0.17100000000000004, "(76.92307692307693, 2)|add": -0.010000000000000002, "(76.92307692307693, 3)|add": 0.171, "(76.92307692307693, 4)|remove": -0.0719, "(76.92307692307693, 3)|z3": 0.0, "(84.61538461538461, 4)|z3": 0.0, "(53.84615384615385, 2)|z3": -0.04000000000000001, "(53.84615384615385, 6)|add": 0.08000000000000002, "(69.23076923076923, 7)|merge": -0.010000000000000002, "(69.23076923076923, 8)|add": 0.15390000000000004, "(76.92307692307693, 9)|add": -0.010000000000000002, "(76.92307692307693, 10)|add": 0.09000000000000001, "(61.53846153846154, 2)|add": -0.010000000000000002, "(61.53846153846154, 3)|add": -0.010000000000000002, "(61.53846153846154, 4)|add": 0.07100000000000001, "(84.61538461538461, 5)|add": -0.010000000000000002, "(84.61538461538461, 6)|add": 0.17100000000000004, "(92.3076923076923, 7)|add": -0.010000000000000002, "(92.3076923076923, 8)|add": -0.010000000000000002, "(69.23076923076923, 2)|add": 0.261, "(69.23076923076923, 3)|merge": -0.010000000000000002, "(69.23076923076923, 4)|add": -0.010000000000000002, "(69.23076923076923, 5)|add": -0.010000000000000002, "(69.23076923076923, 6)|z3": -0.011000000000000001, "(69.23076923076923, 9)|add": -0.010000000000000002, "(69.23076923076923, 2)|z3": -0.030000000000000006, "(69.23076923076923, 5)|remove": 0.019000000000000003, "(69.23076923076923, 4)|z3": -0.030000000000000006, "(69.23076923076923, 7)|add": -0.0029, "(84.61538461538461, 9)|add": 0.09000000000000001, "(92.3076923076923, 10)|add": 0.06100000000000001, "(53.84615384615385, 2)|merge": -0.010000000000000002, "(53.84615384615385, 3)|add": -0.05217031000000001, "(53.84615384615385, 4)|add": 0.08100000000000002, "(69.23076923076923, 4)|remove": 0.020000000000000004, "(69.23076923076923, 3)|add": 0.23471000000000006, "(76.92307692307693, 4)|add": 0.07100000000000001, "(53.84615384615385, 1)|z3": 0.004048379000000005, "(53.84615384615385, 5)|z3": -0.04000000000000001, "(53.84615384615385, 9)|add": 0.09000000000000001, "(69.23076923076923, 10)|add": -0.010000000000000002, "(69.23076923076923, 11)|add": -0.010000000000000002, "(69.23076923076923, 12)|add": -0.010000000000000002, "(76.92307692307693, 2)|z3": 0.09000000000000001, "(84.61538461538461, 3)|add": -0.010000000000000002, "(84.61538461538461, 4)|add": -0.010000000000000002, "(84.61538461538461, 5)|z3": -0.0009999999999999996, "(92.3076923076923, 7)|z3": 0.07100000000000001, "(92.3076923076923, 8)|z3": 0.13290000000000002, "(76.92307692307693, 4)|z3": -0.020000000000000004, "(76.92307692307693, 6)|add": 0.05904900000000002, "(92.3076923076923, 7)|merge": -0.010000000000000002, "(92.3076923076923, 8)|merge": -0.010000000000000002, "(92.3076923076923, 9)|merge": -0.010900000000000002, "(53.84615384615385, 2)|add": 0.0027670000000000142, "(61.53846153846154, 3)|merge": -0.0009999999999999996, "(61.53846153846154, 5)|z3": 0.08000000000000002, "(76.92307692307693, 7)|remove": 0.034390000000000004, "(75.0, 2)|add": -0.010000000000000002, "(75.0, 3)|merge": -0.010000000000000002, "(87.5, 5)|merge": -0.0029, "(100.0, 6)|add": 0.18000000000000002, "(70.0, 3)|z3": 0.10368000000000002, "(70.0, 3)|remove": -0.06632, "(70.0, 4)|merge": -0.0038999999999999994, "(100.0, 8)|add": 0.09000000000000001, "(53.84615384615385, 1)|remove": 0.11934110709000006, "(69.23076923076923, 4)|merge": -0.009, "(69.23076923076923, 7)|z3": -0.030000000000000006, "(69.23076923076923, 6)|remove": 0.010000000000000002, "(69.23076923076923, 9)|z3": -0.030000000000000006, "(84.61538461538461, 10)|add": 0.09000000000000001, "(87.5, 4)|merge": 0.016100000000000007, "(80.0, 4)|merge": -0.004619999999999999, "(69.23076923076923, 3)|z3": 0.09347100000000001, "(69.23076923076923, 5)|z3": -0.0181, "(69.23076923076923, 3)|remove": 0.03347100000000001, "(36.36363636363637, 1)|add": 0.09000000000000001, "(36.36363636363637, 2)|add": -0.010000000000000002, "(54.54545454545454, 5)|z3": 0.06999999999999999, "(54.54545454545454, 6)|merge": -0.010000000000000002, "(54.54545454545454, 8)|z3": -0.020000000000000004, "(72.72727272727273, 5)|z3": 0.010000000000000002, "(72.72727272727273, 8)|z3": -0.030000000000000006, "(81.81818181818183, 9)|add": 0.09000000000000001, "(81.81818181818183, 10)|add": -0.010000000000000002, "(66.66666666666666, 1)|add": 0.18000000000000002, "(100.0, 2)|add": 0.36, "(80.0, 1)|add": 0.27, "(80.0, 1)|z3": 0.009000000000000001, "(100.0, 3)|add": 0.18000000000000002, "(85.71428571428571, 1)|add": 0.09000000000000001, "(63.63636363636363, 1)|add": 0.54, "(81.81818181818183, 2)|add": 0.27, "(81.81818181818183, 4)|z3": 0.06200000000000001, "(90.9090909090909, 5)|add": 0.09000000000000001, "(81.81818181818183, 4)|remove": -0.09000000000000001, "(72.72727272727273, 2)|add": 0.18000000000000002, "(72.72727272727273, 3)|add": -0.019000000000000003, "(72.72727272727273, 7)|z3": -0.038000000000000006, "(63.63636363636363, 2)|add": -0.010000000000000002, "(81.81818181818183, 6)|z3": -0.020000000000000004, "(90.9090909090909, 7)|add": 0.09000000000000001, "(90.9090909090909, 3)|add": 0.09000000000000001, "(90.9090909090909, 4)|add": -0.010000000000000002, "(90.9090909090909, 5)|z3": -0.0009999999999999996, "(81.81818181818183, 3)|add": -0.010000000000000002, "(81.81818181818183, 5)|z3": -0.020000000000000004, "(81.81818181818183, 6)|add": -0.010000000000000002, "(72.72727272727273, 8)|add": -0.010000000000000002, "(37.17277486910995, 1)|add": 0.09000000000000001, "(39.79057591623037, 61)|z3": -0.5, "(53.84615384615385, 3)|z3": 0.0, "(53.84615384615385, 2)|remove": 0.029300000000000007, "(53.84615384615385, 3)|merge": -0.019000000000000003, "(50.0, 1)|add": 0.18000000000000002, "(50.0, 2)|add": -0.04341690000000001, "(50.0, 2)|z3": 0.0, "(50.0, 3)|add": -0.018000000000000002, "(50.0, 3)|z3": 0.0, "(50.0, 4)|add": -0.010000000000000002, "(50.0, 4)|z3": -0.020000000000000004, "(53.84615384615385, 8)|z3": -0.095, "(53.84615384615385, 13)|z3": -0.094, "(53.84615384615385, 14)|add": -0.010000000000000002, "(53.84615384615385, 13)|remove": 0.010000000000000002, "(50.0, 3)|remove": 0.010000000000000002, "(50.0, 2)|remove": 0.010000000000000002, "(50.0, 1)|remove": 0.09629200000000002, "(100.0, 4)|add": 0.09000000000000001, "(80.0, 4)|add": 0.09438000000000002, "(90.0, 9)|merge": -0.010000000000000002, "(76.92307692307693, 5)|add": -0.010000000000000002, "(84.61538461538461, 7)|remove": -0.09000000000000001, "(84.61538461538461, 8)|add": -0.010000000000000002, "(92.3076923076923, 11)|add": -0.010000000000000002, "(55.55555555555556, 1)|add": 0.7200000000000001, "(88.88888888888889, 3)|z3": 0.16000000000000006, "(88.88888888888889, 4)|merge": -0.010000000000000002, "(88.88888888888889, 5)|add": -0.010000000000000002, "(88.88888888888889, 5)|z3": 0.17000000000000007, "(53.84615384615385, 6)|z3": -0.03821000000000001, "(53.84615384615385, 7)|merge": -0.010000000000000002, "(53.84615384615385, 6)|remove": 0.03610000000000001, "(53.84615384615385, 7)|add": -0.027100000000000006, "(53.84615384615385, 12)|z3": -0.1345, "(53.84615384615385, 13)|add": -0.024389999999999995, "(55.55555555555556, 2)|add": -0.05217031000000001, "(88.88888888888889, 4)|z3": 0.16000000000000006, "(77.77777777777779, 3)|remove": -0.09000000000000001, "(77.77777777777779, 4)|add": -0.010000000000000002, "(53.84615384615385, 12)|remove": 0.020000000000000004, "(53.84615384615385, 13)|merge": -0.009, "(88.88888888888889, 4)|add": -0.001999999999999998, "(66.66666666666666, 3)|remove": -0.09000000000000001, "(66.66666666666666, 4)|add": -0.010000000000000002, "(66.66666666666666, 5)|merge": -0.010000000000000002, "(66.66666666666666, 6)|add": -0.010000000000000002, "(92.3076923076923, 9)|add": -0.010000000000000002, "(55.55555555555556, 1)|remove": 0.046, "(55.55555555555556, 3)|add": -0.010000000000000002, "(88.88888888888889, 6)|merge": -0.010000000000000002, "(88.88888888888889, 7)|add": -0.010000000000000002, "(88.88888888888889, 8)|add": -0.010000000000000002, "(53.84615384615385, 11)|remove": 0.010000000000000002, "(53.84615384615385, 10)|remove": 0.010000000000000002, "(53.84615384615385, 9)|remove": 0.019000000000000003, "(53.84615384615385, 10)|add": -0.009, "(88.88888888888889, 5)|merge": 0.007000000000000006, "(53.84615384615385, 7)|z3": -0.05, "(53.84615384615385, 8)|add": -0.010000000000000002, "(53.84615384615385, 7)|remove": 0.010000000000000002, "(53.84615384615385, 5)|remove": 0.010000000000000002, "(55.55555555555556, 4)|z3": -0.05420000000000001, "(55.55555555555556, 5)|add": -0.027100000000000006, "(55.55555555555556, 7)|z3": -0.05320000000000001, "(55.55555555555556, 8)|merge": -0.010000000000000002, "(55.55555555555556, 9)|add": -0.010000000000000002, "(55.55555555555556, 8)|remove": 0.010000000000000002, "(55.55555555555556, 10)|z3": -0.020000000000000004, "(55.55555555555556, 8)|add": -0.009, "(55.55555555555556, 7)|remove": 0.010000000000000002, "(55.55555555555556, 6)|remove": 0.020000000000000004, "(55.55555555555556, 7)|add": -0.009, "(55.55555555555556, 9)|z3": -0.020000000000000004, "(55.55555555555556, 10)|merge": -0.010000000000000002, "(55.55555555555556, 12)|z3": -0.020000000000000004}

testgen/tests/test_boolean.py

@@ -1,69 +0,0 @@
-import pytest
-
-import testgen.code_to_test.boolean as boolean
-
-def test_bin_and_0():
-   args = (False, False)
-   expected = False
-   result = boolean.bin_and(*args)
-   assert result == expected
-
-def test_bin_and_1():
-   args = (True, True)
-   expected = True
-   result = boolean.bin_and(*args)
-   assert result == expected
-
-def test_bin_and_2():
-   args = (True, False)
-   expected = False
-   result = boolean.bin_and(*args)
-   assert result == expected
-
-def test_bin_xor_3():
-   args = (True, True)
-   expected = False
-   result = boolean.bin_xor(*args)
-   assert result == expected
-
-def test_bin_xor_4():
-   args = (True, False)
-   expected = True
-   result = boolean.bin_xor(*args)
-   assert result == expected
-
-def test_bin_xor_5():
-   args = (False, False)
-   expected = False
-   result = boolean.bin_xor(*args)
-   assert result == expected
-
-def test_status_flags_6():
-   args = (True, False, True)
-   expected = 'admin-unverified'
-   result = boolean.status_flags(*args)
-   assert result == expected
-
-def test_status_flags_7():
-   args = (False, False, False)
-   expected = 'inactive'
-   result = boolean.status_flags(*args)
-   assert result == expected
-
-def test_status_flags_8():
-   args = (True, False, False)
-   expected = 'user-unverified'
-   result = boolean.status_flags(*args)
-   assert result == expected
-
-def test_status_flags_9():
-   args = (False, True, True)
-   expected = 'admin-verified'
-   result = boolean.status_flags(*args)
-   assert result == expected
-
-def test_status_flags_10():
-   args = (True, True, False)
-   expected = 'user-verified'
-   result = boolean.status_flags(*args)
-   assert result == expected

testgen/tests/test_decisions.py

@@ -1,195 +0,0 @@
-import pytest
-
-import testgen.code_to_test.decisions as decisions
-
-def test_add_or_subtract_0():
-   args = (12, 71)
-   expected = 83
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_1():
-   args = (7, 81)
-   expected = 88
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_2():
-   args = (97, 75)
-   expected = 22
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_3():
-   args = (38, 40)
-   expected = 78
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_4():
-   args = (66, 3)
-   expected = 63
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_5():
-   args = (84, 10)
-   expected = 74
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_6():
-   args = (95, 89)
-   expected = 6
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_7():
-   args = (57, 12)
-   expected = 45
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_8():
-   args = (64, 98)
-   expected = 162
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_9():
-   args = (94, 80)
-   expected = 14
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_10():
-   args = (26, 3)
-   expected = 23
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_11():
-   args = (91, 39)
-   expected = 52
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_12():
-   args = (53, 42)
-   expected = 11
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_13():
-   args = (15, 42)
-   expected = 57
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_14():
-   args = (13, 67)
-   expected = 80
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_15():
-   args = (62, 92)
-   expected = 154
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_add_or_subtract_16():
-   args = (91, 2)
-   expected = 89
-   result = decisions.add_or_subtract(*args)
-   assert result == expected
-
-def test_email_type_17():
-   args = 'abc'
-   expected = 'invalid'
-   result = decisions.email_type(args)
-   assert result == expected
-
-def test_http_code_18():
-   args = 81
-   expected = 'invalid'
-   result = decisions.http_code(args)
-   assert result == expected
-
-def test_http_code_19():
-   args = 60
-   expected = 'invalid'
-   result = decisions.http_code(args)
-   assert result == expected
-
-def test_http_code_20():
-   args = 29
-   expected = 'invalid'
-   result = decisions.http_code(args)
-   assert result == expected
-
-def test_http_code_21():
-   args = 11
-   expected = 'invalid'
-   result = decisions.http_code(args)
-   assert result == expected
-
-def test_http_code_22():
-   args = 79
-   expected = 'invalid'
-   result = decisions.http_code(args)
-   assert result == expected
-
-def test_http_code_23():
-   args = 70
-   expected = 'invalid'
-   result = decisions.http_code(args)
-   assert result == expected
-
-def test_http_code_24():
-   args = 52
-   expected = 'invalid'
-   result = decisions.http_code(args)
-   assert result == expected
-
-def test_http_code_25():
-   args = 41
-   expected = 'invalid'
-   result = decisions.http_code(args)
-   assert result == expected
-
-def test_http_code_26():
-   args = 6
-   expected = 'invalid'
-   result = decisions.http_code(args)
-   assert result == expected
-
-def test_http_code_27():
-   args = 63
-   expected = 'invalid'
-   result = decisions.http_code(args)
-   assert result == expected
-
-def test_http_code_28():
-   args = 47
-   expected = 'invalid'
-   result = decisions.http_code(args)
-   assert result == expected
-
-def test_http_code_29():
-   args = 58
-   expected = 'invalid'
-   result = decisions.http_code(args)
-   assert result == expected
-
-def test_http_code_30():
-   args = 87
-   expected = 'invalid'
-   result = decisions.http_code(args)
-   assert result == expected
-
-def test_password_strength_31():
-   args = 'abc'
-   expected = 'weak'
-   result = decisions.password_strength(args)
-   assert result == expected

testgenie_py-0.2.1.dist-info/METADATA

@@ -1,26 +0,0 @@
-Metadata-Version: 2.3
-Name: testgenie-py
-Version: 0.2.1
-Summary: 
-Author: cjseitz
-Author-email: charlesjseitz@gmail.com
-Requires-Python: >=3.10,<4.0
-Classifier: Programming Language :: Python :: 3
-Classifier: Programming Language :: Python :: 3.10
-Classifier: Programming Language :: Python :: 3.11
-Classifier: Programming Language :: Python :: 3.12
-Classifier: Programming Language :: Python :: 3.13
-Requires-Dist: ConfigArgParse (==1.7)
-Requires-Dist: astor (==0.8.1)
-Requires-Dist: atheris (==2.3.0)
-Requires-Dist: coverage (==7.6.4)
-Requires-Dist: docker (>=7.1.0,<8.0.0)
-Requires-Dist: klara (==0.6.3)
-Requires-Dist: pygraphviz (>=1.14,<2.0)
-Requires-Dist: pytest (>=8.3.5,<9.0.0)
-Requires-Dist: staticfg (>=0.9.5,<0.10.0)
-Requires-Dist: typed-ast (==1.5.5)
-Requires-Dist: z3-solver (==4.13.3.0)
-Description-Content-Type: text/markdown
-
-