summaryrefslogtreecommitdiff
path: root/trusty/coverage/coverage.cpp
diff options
context:
space:
mode:
authorMark Salyzyn <salyzyn@google.com>2018-08-10 08:15:57 -0700
committerMark Salyzyn <salyzyn@google.com>2018-08-13 14:43:30 +0000
commitacecaf721664c9aa1c47f06c3a60501428b1c9b6 (patch)
tree07b23a88e3fec49aad1bcac4b54499c2554a63d5 /trusty/coverage/coverage.cpp
parent2a5881186d033d43633571133e1602688bf5b377 (diff)
llkd: llkSplit should prevent empty entries
Add "false" as an option fed into llkSplit to be equivalent to empty, as a truly empty list is replaced with the internal defaults. Ensure that no empty entries are added to the returned list. Add some additional provisos to README.md, as well as the explanation of what "false" means for the associated properties. Test: llkd_unit_test Bug: 33808187 Bug: 111910505 Bug: 80502612 Change-Id: Iac0457ea1f6cd559b0875f9871dbae839001276d
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions