aboutsummaryrefslogtreecommitdiff
path: root/urm_test.ml
diff options
context:
space:
mode:
authorpacien2018-04-27 12:07:02 +0200
committerpacien2018-04-27 12:07:02 +0200
commit7d05d97c8e51e77f117fc14f060bb0c54b86a135 (patch)
tree5cb9de7b3eadfaa09bbcc4de1adc2ef51e8f391f /urm_test.ml
parent3e0c5de7c0434678218a6583887f7b849dc684f9 (diff)
downloadurm-7d05d97c8e51e77f117fc14f060bb0c54b86a135.tar.gz
Sort regs before printing
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