Closed aaronbembenek closed 1 year ago
Fix how we record work during eager evaluation: do not increment the work counter if matching against the delta atom fails. This is consistent with how we calculate the amount of work done during semi-naive evaluation.
Fix how we record work during eager evaluation: do not increment the work counter if matching against the delta atom fails. This is consistent with how we calculate the amount of work done during semi-naive evaluation.