aboutsummaryrefslogtreecommitdiff
path: root/tests/test_migration.ml
diff options
context:
space:
mode:
Diffstat (limited to 'tests/test_migration.ml')
-rw-r--r--tests/test_migration.ml9
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/test_migration.ml b/tests/test_migration.ml
index 17e48cc..acf782d 100644
--- a/tests/test_migration.ml
+++ b/tests/test_migration.ml
@@ -42,6 +42,15 @@ let extern_testable = make_test (module ImporterSyntax.Extern)
let table_testable = make_test (module ImportDataTypes.Table)
let int_container_testable = make_test (module ImportContainers.IntSet)
+let trimed_string =
+ make_test
+ (module struct
+ type t = string
+
+ let equal s1 s2 = String.equal (String.trim s1) (String.trim s2)
+ let pp format t = Format.fprintf format "%s" (String.trim t)
+ end)
+
let expression_testable =
make_test
(module struct