aboutsummaryrefslogtreecommitdiff
path: root/tests/test_migration.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2025-03-13 20:17:51 +0100
committerSébastien Dailly <sebastien@dailly.me>2025-04-08 18:39:49 +0200
commit9e2dbe43abe97c4e60b158e5fa52172468a2afb8 (patch)
treef58276e500d8ab0b84cdf74cc36fc73d4bca3892 /tests/test_migration.ml
parent0bdc640331b903532fb345930e7078752ba54a2d (diff)
Declare the files to load from an external configuration file
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