p4lang / p4-constraints

Constraints on P4 objects enforced at runtime
Apache License 2.0
14 stars 7 forks source link

PUBLIC: [p4-constraints] Remove EntryMeetsConstraint and replace with ReasonEntryViolatesConstraint in tests. #120

Closed angelazhang8 closed 11 months ago

angelazhang8 commented 11 months ago

PUBLIC: [p4-constraints] Remove EntryMeetsConstraint and replace with ReasonEntryViolatesConstraint in tests.

EntryMeetsConstraint and ReasonEntryViolatesConstraint share common code. It was decided that we should keep ReasonEntryViolatesConstraint as it provides output that explains why an entry violated a constraint, whereas EntryMeetsConstraint does not. Tests were changed accordingly to use ReasonEntryViolatesConstraint. Documentation for https://github.com/p4lang/p4-constraints has been updated in another CL.