| commit | c071a01a26013ab6e3dbfc4131efa95a65aeb4ed | [log] [tgz] |
|---|---|---|
| author | Aart Bik <ajcbik@google.com> | Thu Dec 01 10:22:31 2016 -0800 |
| committer | Aart Bik <ajcbik@google.com> | Mon Dec 05 16:16:42 2016 -0800 |
| tree | bbe75527b8ee94483e4d797c6b2372adaabd81cf | |
| parent | 5eb1e1e7341f4e7febf77c04f8649a9566b31c03 [diff] [blame] |
Added geometric induction variables analysis. Rationale: Information on geometric and polynomial (coming soon) sequences are nice to have to further enhance BCE and last-value assignment. Test: test-art-host Change-Id: Ib5e2998c3eb1009def6fd00b82935da7c3ba7c6e
diff --git a/test/530-checker-loops4/expected.txt b/test/530-checker-loops4/expected.txt new file mode 100644 index 0000000..b0aad4d --- /dev/null +++ b/test/530-checker-loops4/expected.txt
@@ -0,0 +1 @@ +passed