tree ae8ed6d8602d2626f8aa2cc6a295bb2e946f25e8
parent 5e0a9849d4e353c3726095b65ab07cefce40a636
author David Brazdil <dbrazdil@google.com> 1418987841 +0000
committer David Brazdil <dbrazdil@google.com> 1420033015 +0000

ART: New types of Checker assertions

Checker now supports positive out-of-order assertions (CHECK-DAG),
which are useful for matching dependency graphs, and negative
assertions (CHECK-NOT) to test element removal.

ConstantFolding tests are rewritten using -DAG checks and Inliner
tests are added.

Change-Id: I5afb665f532b24683624b6d21ef4377cb441d731