257
257
uint64 seqnum = seqnum_v.get_uint64 ();
258
258
if (scope.results_model.get_seqnum () < seqnum)
261
264
warning ("Scope model [%p] sequence number mismatch: expected %" + uint64.FORMAT + ", got %" + uint64.FORMAT, scope, seqnum, scope.results_model.get_seqnum ());