creduce_julia
creduce_julia copied to clipboard
maleadt
`creduce` uses `clang_delta` https://github.com/csmith-project/creduce/tree/master/clang_delta Which performs C/C++ aware semantic transformations. Ideas for impactful prunings. - `export`/`import` statements - `include` (and subsequent file deletions) - `method body` / `struct body` -...
For very large projects a good starting point would be to take code-coverage of the reducer into consideration. `PATH=$HOME/builds/julia-asserts:$PATH ./julia --code-coverage=@$(pwd)/depot/dev main.jl` One can use `CoverageTools.jl` to parse the results,...
@gbaraldi pointed me towards https://github.com/marxin/cvise, which is supposedly a faster version of creduce, and should be fully compatible. We should try this out to see if it improves reducing Julia...
When testing changes to a devved packages, the scripts here copy the depot into a temporary location, but need to patch up the environment's Manifest.toml to replace references to that...