add test

diff --git a/debugger/serialize.ml b/debugger/serialize.ml
index 4ea9b97..ed24253 100644 (file)
--- a/debugger/serialize.ml
+++ b/debugger/serialize.ml
@@ -1,5 +1,7 @@
 open Base
 
+exception Out_of_range
+
 module StrMonoid = struct
   type t = string
   let mempty = ""

diff --git a/debugger/serialize.mli b/debugger/serialize.mli
index e129ba8..ab753d0 100644 (file)
--- a/debugger/serialize.mli
+++ b/debugger/serialize.mli
@@ -1,3 +1,4 @@
+exception Out_of_range
 module M : sig
   type w = string
   type 'a m

diff --git a/debugger/serializeTest.ml b/debugger/serializeTest.ml
index bab358c..53ea5b4 100644 (file)
--- a/debugger/serializeTest.ml
+++ b/debugger/serializeTest.ml
@@ -4,13 +4,33 @@ open OUnit
 open Serialize.M
 open Serialize
 
+let ok x y =
+  assert_equal x @@ snd @@ runWriter y
+
 let _ = begin "serialize.ml" >::: [
   "monad" >:: begin fun () ->
     let m = perform with module Serialize.M in begin
-       db 42
+       db 0;
+       db 1
     end in
-    let data =
-      snd @@ runWriter m in
-      assert_equal "" data
+    ok "\000\001" m
+   end;
+  "db" >:: begin fun () ->
+    ok "\042" @@ db 42;
+    assert_raises Out_of_range begin fun () ->
+      db 0x1FF
+    end
+  end;
+  "dw" >:: begin fun () ->
+    ok "\x01\x02" @@ dw 0x0201;
+    assert_raises Out_of_range begin fun () ->
+      db 0x1_0000
+    end
+  end;
+  "dd" >:: begin fun () ->
+    ()
+  end;
+  "sz" >:: begin fun () ->
+    ()
   end
 ] end +> run_test_tt_main