-
Klaus Aehlig authored
Work around the limitation of QuickChecks `cover` to ignore all coverage labels that do not occur in the actual sample. Signed-off-by: Klaus Aehlig <aehlig@google.com> Reviewed-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Niklas Hambuechen <niklash@google.com>
8a1b6f9b