Function varisat::clause::assess::bump_clause

pub fn bump_clause(
    ctx: Const<ImplGraphP, Mut<TmpFlagsP, Mut<ClauseDbP, Mut<ClauseAllocP, Mut<ClauseActivityP, Ref<Context>>>>>>, 
    cref: ClauseRef
)

Update stats for clauses involved in the conflict.