commit | 73f1f3be46652d3f6df61b4234c366ebbf81274a | [log] [tgz] |
---|---|---|
author | Aart Bik <ajcbik@google.com> | Wed Oct 28 15:28:08 2015 -0700 |
committer | Aart Bik <ajcbik@google.com> | Thu Oct 29 13:29:50 2015 -0700 |
tree | 0d6c2f9eb2331fd5de5aa4c43ebcb45e857a4682 | |
parent | f7b7f9984da66149e5fe05713845961d7b069a23 [diff] |
Move loop invariant utility to more general place. Change-Id: I15ebfbf9684f0fcce9e63d078ff8dc1381fd1ca3