diff --git a/test/passing/tests/js_map.ml.opts b/test/passing/tests/js_map.ml.opts new file mode 100644 index 0000000000..a2f04741b8 --- /dev/null +++ b/test/passing/tests/js_map.ml.opts @@ -0,0 +1 @@ +--max-iter=3