aboutsummaryrefslogtreecommitdiff
path: root/urm_test.ml
diff options
context:
space:
mode:
Diffstat (limited to 'urm_test.ml')
-rw-r--r--urm_test.ml7
1 files changed, 3 insertions, 4 deletions
diff --git a/urm_test.ml b/urm_test.ml
index bc3a0b8..f223bf6 100644
--- a/urm_test.ml
+++ b/urm_test.ml
@@ -6,10 +6,9 @@
6open Common 6open Common
7open Instptr 7open Instptr
8open Urm 8open Urm
9open Reg
9open Kaputt.Abbreviations 10open Kaputt.Abbreviations
10 11
11let sort_regs = List.sort (fun (Reg(l, _)) (Reg(r, _)) -> compare l r)
12
13let () = 12let () =
14 Test.add_simple_test 13 Test.add_simple_test
15 ~title:"example_urm_add_program" 14 ~title:"example_urm_add_program"
@@ -54,7 +53,7 @@ let () =
54 in let output_regs = urm_run output_prgm 53 in let output_regs = urm_run output_prgm
55 in 54 in
56 Assert.is_true (output_prgm = expected_urm); 55 Assert.is_true (output_prgm = expected_urm);
57 Assert.is_true ((sort_regs output_regs) = expected_output)) 56 Assert.is_true ((regs_sort output_regs) = expected_output))
58 57
59let () = 58let () =
60 Test.add_simple_test 59 Test.add_simple_test
@@ -146,7 +145,7 @@ let () =
146 in let output_regs = urm_run output_prgm 145 in let output_regs = urm_run output_prgm
147 in 146 in
148 Assert.is_true (output_prgm = expected_urm); 147 Assert.is_true (output_prgm = expected_urm);
149 Assert.is_true ((sort_regs output_regs) = expected_output)) 148 Assert.is_true ((regs_sort output_regs) = expected_output))
150 149
151let () = if Array.mem "run-tests" Sys.argv then Test.launch_tests () 150let () = if Array.mem "run-tests" Sys.argv then Test.launch_tests ()
152 151