Support for chained verifications #2

Open

Labels

opened

Support verification of ordered invocation sequences.

Check that

event A
event B
event C

are invoked strictly in that order

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests