diff options
| author | IWASE Yusuke <iwase.yusuke0@gmail.com> | 2016-09-05 09:41:38 +0900 |
|---|---|---|
| committer | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2016-09-07 10:01:36 +0900 |
| commit | 7af944dc0ebd147bb139d1faec58adc1e8fa2f9d (patch) | |
| tree | 6d5e16cb4e1fc7266854c9bc7c7038a4ce81da2e /etc | |
| parent | c09925e1f511d9a22a11444e0aa4d40d57bc93cf (diff) | |
table_manager: Fix conversion of De Morgan's laws
This patch fixes incorrect conversion of De Morgan's laws.
e.g.) not (A and B) == not A or not B
Original:
if not (vpn_path.source is None
and route_dist == vrf_table.vrf_conf.route_dist):
Incorrect:
if (vpn_path.source is not None and # !!! Should be "or"
route_dist != vrf_table.vrf_conf.route_dist):
Correct:
if (vpn_path.source is not None or
route_dist != vrf_table.vrf_conf.route_dist):
Signed-off-by: IWASE Yusuke <iwase.yusuke0@gmail.com>
Signed-off-by: FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp>
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions