tree cfc07e666b2bb0b5e07027da2ccd11f00dc4bed7
parent 840e63dbd7ad4fb69a6ad5c59d930587ee561141
author Christoffer Quist Adamsen <christofferqa@google.com> 1614936351 +0100
committer Christoffer Quist Adamsen <christofferqa@google.com> 1614936378 +0000

Assert $r8$classId values are unchanged at refinement

Change-Id: I707077f4182b7ef953f4b5ec94f608308fb5f5b0