diff options
| author | Mark Salyzyn <salyzyn@google.com> | 2018-08-10 08:15:57 -0700 | 
|---|---|---|
| committer | Mark Salyzyn <salyzyn@google.com> | 2018-08-13 14:43:30 +0000 | 
| commit | acecaf721664c9aa1c47f06c3a60501428b1c9b6 (patch) | |
| tree | 07b23a88e3fec49aad1bcac4b54499c2554a63d5 /trusty/coverage/coverage.cpp | |
| parent | 2a5881186d033d43633571133e1602688bf5b377 (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
