[automerger skipped] Merge "Move testInvariantInCanBeSatisfiedBy to be its own test" into rvc-dev am: 0acf7755b5 -s ours
am skip reason: Change-Id Id65b7189202108b232905535587f8a282e48007b with SHA-1 8ddd0227a9 is in history
Change-Id: I0175b15e737b35d5c0f8aa0d69423e3e0a76a205
This commit is contained in: