tree 7f674ee0d9c369db59cf1ef9f3b720a3ff45b468
parent 7a80e974e96e2a8419a55cd05d7f8c5cc5ac9e1e
author Dmitry Lychagin <dmitry.lychagin@couchbase.com> 1566595385 -0700
committer Dmitry Lychagin <dmitry.lychagin@couchbase.com> 1566705215 +0000

[NO ISSUE][COMP] Temporarily disable some property matching

- user model changes: no
- storage format changes: no
- interface changes: no

Details:
- ORDERED_PARTITIONED can only satisfy UNORDERED_PARTITIONED
  if both use the same partitioning function. Currently there is no
  mechanism for reasoning about partitioning functions so this case
  has to be disabled until it is in place.

Change-Id: I7f280505f4fa02283fc14a0398760162e1150dc9
Reviewed-on: https://asterix-gerrit.ics.uci.edu/3532
Reviewed-by: Ali Alsuliman <ali.al.solaiman@gmail.com>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>