finish method

List<Divergence> finish({
  1. int? failureT,
})

Ends a replay: reports unmatched interactions and returns every divergence.

Implementation

List<Divergence> finish({int? failureT}) {
  interactions.replay?.finish(failureT);
  return List.unmodifiable(divergences);
}