commit | 7829691e27c528ca52753dd98bcb4785e328388a | [log] [tgz] |
---|---|---|
author | Aart Bik <ajcbik@google.com> | Fri Mar 25 13:14:53 2016 -0700 |
committer | Aart Bik <ajcbik@google.com> | Fri Mar 25 15:35:21 2016 -0700 |
tree | 5bbb034b0795a0533ce6da6cd83f44c66f36caac | |
parent | b0b38596a4f28725b71f17e13c7b544d926f0d3e [diff] |
Fix bug not accounting for type in induction comparison. Extended unit tests. Rationale: Now that inductions are typed, comparisons should take the type into account as well. Change-Id: Ie533bb728d2006390646657573fa743e6fc37ff2