propeller.simplification

(auto-simplify-plushy plushy error-function {:keys [simplification-steps training-data simplification-k simplification-verbose?], :as argmap})

simplifies plushy by deleting instructions that have no impact on errors. naive auto-simplification

(choose-random-k k indices)

Takes k random indices

(delete-at-indices indices plushy)

deletes the values at given set of indices

(delete-k-random k plushy)

Deletes k random instructions from the plushy

Generated by Codox