Branch Coverage

src/panda/protocol/websocket/DeflateExt.h
Criterion Covered Total %
branch 12 18 66.6


line true false branch
159 1 22 do {
160 6 17 if (!tx_stream.avail_in && flush == Z_NO_FLUSH) return;
0 6 if (!tx_stream.avail_in && flush == Z_NO_FLUSH) return;
161 23 0 size_t min_out_sz = flush == Z_SYNC_FLUSH ? TRAILER_RESERVED : 1;
162 1 22 if (tx_stream.avail_out < min_out_sz) drain();
163 0 23 assert(tx_stream.avail_out > 0);
164 23 0 assert(!(flush == Z_SYNC_FLUSH && tx_stream.avail_out < TRAILER_RESERVED));
0 23 assert(!(flush == Z_SYNC_FLUSH && tx_stream.avail_out < TRAILER_RESERVED));
167 0 23 assert(r >= 0);