diff options
| author | Ben Pfaff <blp@ovn.org> | 2018-02-06 10:00:49 -0800 |
|---|---|---|
| committer | Ben Pfaff <blp@ovn.org> | 2018-02-07 10:21:55 -0800 |
| commit | eb202465d278ef8c0a277ebfeae5dd04f8c48242 (patch) | |
| tree | 4fe2a17240fe57e49c161056af6355bbe8ff9fb8 /tests | |
| parent | 582bd869af597538d76fa08627bafa510dacf492 (diff) | |
| download | openvswitch-eb202465d278ef8c0a277ebfeae5dd04f8c48242.tar.gz | |
expr: Add additional invariant check in test.
Signed-off-by: Ben Pfaff <blp@ovn.org>
Acked-by: Numan Siddique <nusiddiq@redhat.com>
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/test-ovn.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/test-ovn.c b/tests/test-ovn.c index d4dfc8151..745275318 100644 --- a/tests/test-ovn.c +++ b/tests/test-ovn.c @@ -871,6 +871,7 @@ test_tree_shape_exhaustively(struct expr *expr, struct shash *symtab, if (operation >= OP_NORMALIZE) { modified = expr_normalize(modified); + ovs_assert(expr_honors_invariants(modified)); ovs_assert(expr_is_normalized(modified)); } } |