(* TEST
   include testing
*)

(* Dummy substitute function. *)

open Testing;;
open Buffer;;

let identity s = s;;

let b = Buffer.create 100;;

(* Pattern with a '\\' character in it. *)
let pat0 = "\\\\a" in
let n0 = String.length pat0 in

Buffer.add_substitute b identity pat0;

test (String.length (Buffer.contents b) = n0)
;;

(* Pattern with a '\\' character at the end. *)
let pat1 = "b\\" in
let n1 = String.length pat1 in

Buffer.clear b;
Buffer.add_substitute b identity pat1;
test (String.length (Buffer.contents b) = n1)
;;