diff options
Diffstat (limited to 'src/eurm_test.ml')
-rw-r--r-- | src/eurm_test.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/eurm_test.ml b/src/eurm_test.ml index afecf9e..a3ef5a8 100644 --- a/src/eurm_test.ml +++ b/src/eurm_test.ml | |||
@@ -8,6 +8,7 @@ open Urm | |||
8 | open Eurm | 8 | open Eurm |
9 | open Kaputt.Abbreviations | 9 | open Kaputt.Abbreviations |
10 | 10 | ||
11 | (* | ||
11 | let () = | 12 | let () = |
12 | Test.add_simple_test | 13 | Test.add_simple_test |
13 | ~title:"example_eurm_factorial_conversion" | 14 | ~title:"example_eurm_factorial_conversion" |
@@ -72,3 +73,4 @@ let () = | |||
72 | Assert.is_true (output_urm = expected_urm)) | 73 | Assert.is_true (output_urm = expected_urm)) |
73 | 74 | ||
74 | let () = if Array.mem "run-tests" Sys.argv then Test.launch_tests () | 75 | let () = if Array.mem "run-tests" Sys.argv then Test.launch_tests () |
76 | *) | ||