Adds new assertion methods MessageSendersSatisfy and EveryMessageSenderSatisfies, with new predicate type ActorPredicate with out-of-the-box functions BalanceUpdated and NonceUpdated.
Performs assertions equivalent to chain-validation's AssertActorState in the migrated vectors.
Remove chain-validation from our source tree 👋
Underscore unmigrated suites to prevent compilation.
MessageSendersSatisfy
andEveryMessageSenderSatisfies
, with new predicate typeActorPredicate
with out-of-the-box functionsBalanceUpdated
andNonceUpdated
.AssertActorState
in the migrated vectors.