internal/core/adt: update tests
Somehow these counters were not updated
before.
Signed-off-by: Marcel van Lohuizen <mpvl@gmail.com>
Change-Id: I4b8018e56ee7389a69701a15a689b92d74669fcd
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1219235
Reviewed-by: Daniel Martí <mvdan@mvdan.cc>
TryBot-Result: CUEcueckoo <cueckoo@cuelang.org>
Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>