Skip to content

Added Verifier class.

Ершов Михаил Алексеевич requested to merge verifier into main

Verifier class can check different properties of the provided subnet. Currently it is possible to check:

  1. Two links equivalence property.
  2. Link and provided value equivalence property.

Verifier provides 2 different check methods:

  1. checkAlways(Property).
  2. checkEventually(Property).

Merge request reports