diff options
author | 2015-05-15 14:24:31 +0100 | |
---|---|---|
committer | 2015-05-15 14:50:51 +0100 | |
commit | c2c48ffdd623b4e58b34115d1521b0988a42b217 (patch) | |
tree | 56a7aea7fa187c388592e3d6df60be9c8edbfd0e /test/474-checker-boolean-input/src | |
parent | 1cad536d675846ac9c110b5b3a412dfc55ace3ed (diff) |
ART: Change Checker syntax for variables
This patch changes the syntax for defining and referencing variables
from square brackets '[[VAR]]' to angle brackets '<<VAR>>'. This is
done in order to avoid clashes when matching against lists enclosed
in square brackets.
Change-Id: Ib9560b07bdc7bd641fd1eb6143c0063e0783f1eb
Diffstat (limited to 'test/474-checker-boolean-input/src')
-rw-r--r-- | test/474-checker-boolean-input/src/Main.java | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test/474-checker-boolean-input/src/Main.java b/test/474-checker-boolean-input/src/Main.java index 9151986ca2..a395ff915a 100644 --- a/test/474-checker-boolean-input/src/Main.java +++ b/test/474-checker-boolean-input/src/Main.java @@ -28,8 +28,8 @@ public class Main { */ // CHECK-START: boolean Main.TestPhiAsBoolean(int) boolean_simplifier (after) - // CHECK-DAG: [[Phi:i\d+]] Phi - // CHECK-DAG: BooleanNot [ [[Phi]] ] + // CHECK-DAG: <<Phi:i\d+>> Phi + // CHECK-DAG: BooleanNot [ <<Phi>> ] public static boolean f1; public static boolean f2; @@ -48,8 +48,8 @@ public class Main { */ // CHECK-START: boolean Main.TestAndAsBoolean(boolean, boolean) boolean_simplifier (after) - // CHECK-DAG: [[And:i\d+]] And - // CHECK-DAG: BooleanNot [ [[And]] ] + // CHECK-DAG: <<And:i\d+>> And + // CHECK-DAG: BooleanNot [ <<And>> ] public static boolean InlineAnd(boolean x, boolean y) { return x & y; @@ -65,8 +65,8 @@ public class Main { */ // CHECK-START: boolean Main.TestOrAsBoolean(boolean, boolean) boolean_simplifier (after) - // CHECK-DAG: [[Or:i\d+]] Or - // CHECK-DAG: BooleanNot [ [[Or]] ] + // CHECK-DAG: <<Or:i\d+>> Or + // CHECK-DAG: BooleanNot [ <<Or>> ] public static boolean InlineOr(boolean x, boolean y) { return x | y; @@ -82,8 +82,8 @@ public class Main { */ // CHECK-START: boolean Main.TestXorAsBoolean(boolean, boolean) boolean_simplifier (after) - // CHECK-DAG: [[Xor:i\d+]] Xor - // CHECK-DAG: BooleanNot [ [[Xor]] ] + // CHECK-DAG: <<Xor:i\d+>> Xor + // CHECK-DAG: BooleanNot [ <<Xor>> ] public static boolean InlineXor(boolean x, boolean y) { return x ^ y; |