aboutsummaryrefslogtreecommitdiffstats
path: root/docs/linux
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2020-10-15 13:37:16 +0200
committerDmitry Vyukov <dvyukov@google.com>2020-10-21 10:22:10 +0200
commitc302c1e1882be5d269878222eed1f14edce54c6c (patch)
tree85a9dbe5bb7a221e0be11cc19fdb25653f9c2799 /docs/linux
parentecfa7f2fb3674f8ecd4a693a6b164e1d3c6541d6 (diff)
pkg/kconfig: add simple config minimization
Minimize finds an equivalent with respect to the provided predicate, but smaller config. It accepts base (small) and full (large) config. It is assumed that the predicate returns true for the full config. It is also assumed that base and full are not just two completely arbitrary configs, but full it produced from base mostly by adding more configs. The minimization procedure thus consists of figuring out what set of configs that are present in full and are not present in base affect the predicate. Update #2171
Diffstat (limited to 'docs/linux')
0 files changed, 0 insertions, 0 deletions