From c77f727a7043742154cc624dc34770a74f3d266e Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 17 Jul 2008 11:58:14 +0000 Subject: [PATCH 1/1] Improved test. --- tests/70_check_and_bind.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/70_check_and_bind.ml b/tests/70_check_and_bind.ml index 14ad836..88685ac 100644 --- a/tests/70_check_and_bind.ml +++ b/tests/70_check_and_bind.ml @@ -9,8 +9,8 @@ let bits = (BITSTRING { 101 : 16; 202 : 16 }) let () = bitmatch bits with - | { i : 16 : check (i > 100), bind (i*4); - j : 16 : check (j > 200) } -> + | { i : 16 : check (i = 101), bind (i*4); + j : 16 : check (j = 202) } -> if i <> 404 || j <> 202 then failwith (sprintf "70_check_and_bind: failed: %d %d" i j) | { _ } -> -- 1.8.3.1