Commit graph

6 commits

Author SHA1 Message Date
Kevin Turcios
9431952ca2 refactor: move static_analysis, concolic_utils, coverage_utils to languages/python/static_analysis/ 2026-02-19 03:16:51 -05:00
Kevin Turcios
918dd686a8 move things around & more efficient passes
pre-commit cleanup

guard path

fix tests & remove goto cache

remove TestsCache usage

moved the num_discovered_tests calculation inside the
discover_unit_tests

dict directly by using a set in discover_unit_tests
efficient passes
2025-06-07 11:30:29 -07:00
RD
20b0a0ed39 Filter for functions with typed arguments 2024-11-12 01:58:47 -08:00
RD
c2a08cddb8 Many fixes, concolic test coverage. 2024-11-07 11:33:10 -08:00
RD
f1cc2a5038 End-to-end done. 2024-10-31 19:08:20 -07:00
RD
c2c6d3759b WIP diffbehavior support, up to and including full replacement module code for each optimization candidate. Remaining: writing module code to each git worktree, running diffbehavior vs each candidate worktree, collecting results. TODO comment driven programming at its finest. 2024-10-30 01:30:10 -07:00