tree df3eac17a2095156175ead96a9f4a590f359afd3
parent 3296b3136ef55651de501e92882f20dc4cac8f91
author Tianjie <xunchang@google.com> 1615941262 -0700
committer Tianjie <xunchang@google.com> 1615957993 -0700

Check that sum of DAP groups is smaller than super

The maximum size of all dynamic partition groups should not exceed
the super size - DAP metadata size. Today the configuration of
some devices don't take the metadata into acount. So turn the CheckLe
into CheckLt.

Also, display a warning if the reserved size for DAP metadata is less
than 1M.

Bug: 182431975
Test: mm -j32 check-all-partition-sizes
Change-Id: Ie278f224321083e457d68da000c2b22ec8a54085