Shaheen/klee runner for pr

[Sora-the-explora]

Finally got the klee runner stuff fixed up.

[codecov-io]

Codecov Report

Merging #32 (2e006da) into develop (f9c727e) will decrease coverage by 1.93%.
The diff coverage is n/a.

@@             Coverage Diff             @@
##           develop      #32      +/-   ##
===========================================
- Coverage    68.35%   66.42%   -1.94%     
===========================================
  Files           20       20              
  Lines         2171     2195      +24     
===========================================
- Hits          1484     1458      -26     
- Misses         687      737      +50     

Impacted Files	Coverage Δ
src/graph/control_flow_graph.py	90.60% <0.00%> (-6.39%)	⬇️
src/lang_to_cfg/python.py	97.86% <0.00%> (-0.02%)	⬇️
src/utils.py
src/experiments/data_collection.py	21.05% <0.00%> (ø)
src/core/command_data.py	58.33% <0.00%> (+0.96%)	⬆️
src/core/command.py	41.06% <0.00%> (+1.43%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update f9c727e...2e006da. Read the comment docs.

[codecov-commenter]

Codecov Report

Merging #32 (b5f986a) into develop (f9c727e) will decrease coverage by 1.23%.
The diff coverage is 0.00%.

@@             Coverage Diff             @@
##           develop      #32      +/-   ##
===========================================
- Coverage    68.35%   67.12%   -1.24%     
===========================================
  Files           20       21       +1     
  Lines         2171     2333     +162     
===========================================
+ Hits          1484     1566      +82     
- Misses         687      767      +80     

Impacted Files	Coverage Δ
src/klee/klee_utils.py	25.22% <0.00%> (-0.47%)	⬇️
src/graph/control_flow_graph.py	90.79% <0.00%> (-6.20%)	⬇️
src/utils.py	78.00% <0.00%> (-0.95%)	⬇️
src/lang_to_cfg/python.py	97.86% <0.00%> (-0.02%)	⬇️
src/experiments/data_collection.py	21.05% <0.00%> (ø)
src/graph/graph.py	77.95% <0.00%> (+0.35%)	⬆️
src/core/command.py	40.99% <0.00%> (+1.37%)	⬆️
src/core/command_data.py	59.72% <0.00%> (+2.36%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update f9c727e...b5f986a. Read the comment docs.