Add check for mismatch of operations in history#10

Merged

aphyr merged 1 commit intojepsen-io:masterfrom aquarhead:match-invoke-comp

Jun 28, 2021

+23

Commits on Apr 15, 2021

Add check for mismatch of operations in history
LOU Xun
committed