Skip to content

Simulator should produce a minimal violated invariant #898

Open
@konnov

Description

@konnov

When the simulator finds a violation to and { A_1, ..., A_n }, it should report one of A_i that was violated.

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions