summaryrefslogtreecommitdiff
path: root/test/474-checker-boolean-input/src
diff options
context:
space:
mode:
author David Brazdil <dbrazdil@google.com> 2015-05-15 14:24:31 +0100
committer David Brazdil <dbrazdil@google.com> 2015-05-15 14:50:51 +0100
commitc2c48ffdd623b4e58b34115d1521b0988a42b217 (patch)
tree56a7aea7fa187c388592e3d6df60be9c8edbfd0e /test/474-checker-boolean-input/src
parent1cad536d675846ac9c110b5b3a412dfc55ace3ed (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.java16
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;