evazion 542c673221 Fix #3200: Disallow creation of superfluous implications. ...

Disallow transitive implications. If a -> b -> c already exists, don't
allow a -> c.

Caveat: if b -> c already exists, and we make a BUR for a -> b and a -> c,
the BUR validates even though a -> c is redundant. It only fails
when the BUR is approved.

2017-07-05 00:22:16 -05:00

5.0 KiB

Raw Blame History

View Raw