diff options
Diffstat (limited to 'urm_test.ml')
-rw-r--r-- | urm_test.ml | 7 |
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 @@ | |||
6 | open Common | 6 | open Common |
7 | open Instptr | 7 | open Instptr |
8 | open Urm | 8 | open Urm |
9 | open Reg | ||
9 | open Kaputt.Abbreviations | 10 | open Kaputt.Abbreviations |
10 | 11 | ||
11 | let sort_regs = List.sort (fun (Reg(l, _)) (Reg(r, _)) -> compare l r) | ||
12 | |||
13 | let () = | 12 | let () = |
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 | ||
59 | let () = | 58 | let () = |
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 | ||
151 | let () = if Array.mem "run-tests" Sys.argv then Test.launch_tests () | 150 | let () = if Array.mem "run-tests" Sys.argv then Test.launch_tests () |
152 | 151 | ||