aboutsummaryrefslogtreecommitdiff
path: root/src/eurm_test.ml
diff options
context:
space:
mode:
authorpacien2018-04-30 20:50:28 +0200
committerpacien2018-04-30 20:50:28 +0200
commita27cc602422cc9076ddc1d0e7db3f3cbf2bf193f (patch)
treea6e4b168aebdd4807466436a9ba5a58b1ad9e99d /src/eurm_test.ml
parent8e34ad7563ec54b3606fd530da0b4268d662740a (diff)
downloadurm-a27cc602422cc9076ddc1d0e7db3f3cbf2bf193f.tar.gz
Adjust parser
Diffstat (limited to 'src/eurm_test.ml')
-rw-r--r--src/eurm_test.ml2
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
8open Eurm 8open Eurm
9open Kaputt.Abbreviations 9open Kaputt.Abbreviations
10 10
11(*
11let () = 12let () =
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
74let () = if Array.mem "run-tests" Sys.argv then Test.launch_tests () 75let () = if Array.mem "run-tests" Sys.argv then Test.launch_tests ()
76 *)