| commit | d40f746ea062bf38ef377e1b7406b7b60ec9c4bc | [log] [tgz] |
|---|---|---|
| author | Chiachang Wang <chiachangwang@google.com> | Tue May 12 05:36:50 2020 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue May 12 05:36:50 2020 +0000 |
| tree | 5818340d5697989a283e884d473f98985c5db8e7 | |
| parent | c23b2ac096c0874ba651a0f380b9a4e11556ce13 [diff] | |
| parent | 8ddd0227a9e7d3f382b9a944fdeb90d58bcf5109 [diff] |
Merge "Move testInvariantInCanBeSatisfiedBy to be its own test"