Searched refs:bad_cts (Results 1 – 2 of 2) sorted by relevance
341 progress p (TcPluginContradiction bad_cts) =342 p { pluginInputCts = discard bad_cts (pluginInputCts p)343 , pluginBadCts = bad_cts ++ pluginBadCts p
1346 uint32_t bad_cts; member