testgenie-py 0.1.7__py3-none-any.whl → 0.1.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 (16) hide show
  1. {testgenie_py-0.1.7.dist-info → testgenie_py-0.1.8.dist-info}/METADATA +1 -1
  2. {testgenie_py-0.1.7.dist-info → testgenie_py-0.1.8.dist-info}/RECORD +4 -16
  3. testgen/.coverage +0 -0
  4. testgen/code_to_test/__init__.py +0 -0
  5. testgen/code_to_test/boolean.py +0 -146
  6. testgen/code_to_test/calculator.py +0 -29
  7. testgen/code_to_test/code_to_fuzz.py +0 -234
  8. testgen/code_to_test/code_to_fuzz_lite.py +0 -397
  9. testgen/code_to_test/decisions.py +0 -57
  10. testgen/code_to_test/math_utils.py +0 -47
  11. testgen/code_to_test/no_types.py +0 -35
  12. testgen/code_to_test/sample_code_bin.py +0 -141
  13. testgen/docker/poetry.lock +0 -599
  14. testgen/q_table/global_q_table.json +0 -1
  15. {testgenie_py-0.1.7.dist-info → testgenie_py-0.1.8.dist-info}/WHEEL +0 -0
  16. {testgenie_py-0.1.7.dist-info → testgenie_py-0.1.8.dist-info}/entry_points.txt +0 -0
testgen/q_table/global_q_table.json DELETED
@@ -1 +0,0 @@
1
- {"(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}